The cat is big. The cat is blue. The cat is red. The cat is rough. The cat is young. The cat likes the squirrel. The cat sees the squirrel. The cat does not visit the squirrel. The squirrel is not big. The squirrel is blue. The squirrel is red. The squirrel is not rough. The squirrel is young. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If something sees the cat and it visits the cat then it likes the squirrel.
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something sees the cat and it visits the cat then it likes the squirrel.
((("something" "sees" "cat" "+") ("something" "visits" "cat" "+")) -> ("something" "likes" "squirrel" "+"))
The squirrel is red.
True
1
proof
[(triple11)]
("squirrel" "is" "red" "+")
triple11
The squirrel does not visit the cat.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "cat" "-")
triple16
The squirrel likes the squirrel.
True
3
proof
[(((triple15 triple16) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple15 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
3
inv-proof
[(((triple15 triple16) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple15 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat does not visit the squirrel.[(triple8)] The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The squirrel is blue.[(triple10)] The squirrel is not big.[(triple9)] The squirrel is not rough.[(triple12)] The squirrel is red.[(triple11)] The squirrel is young.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The squirrel likes the squirrel.[(((triple15 triple16) -> rule1))]
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
triple8
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple15
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple15 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1