The cat is big. The cat is red. The cat is young. If someone is big and young then they are blue. If someone is rough and big then they are red. If someone is blue then they are big.
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
The cat is big.
True
1
proof
[(triple1)]
("cat" "is" "big" "+")
triple1
The cat is not young.
False
1
inv-proof
[(triple3)]
("cat" "is" "young" "-")
triple3
The cat is blue.
True
3
proof
[(((triple1 triple3) -> rule1))]
("cat" "is" "blue" "+")
((triple1 triple3) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("cat" "is" "blue" "-")
((triple1 triple3) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat is big.[(triple1)] The cat is red.[(triple2)] The cat is young.[(triple3)] @1: The cat is blue.[(((triple1 triple3) -> rule1))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
((triple1 triple3) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1