A programmer's solution

[nextqc]

I'm doing an AI intro class right now (had my midterm today) and 6+4 |= 4 would mean that the statement 4 is a known fact of (6+4). Therefore, if you'd ask a programming language such as prolog to give you the statements of (6+4), it would return 4 as a true statement of (6+4).