The cat does not eat the squirrel. The cat is not blue. The cat is nice. The cat is rough. The cat is young. The cat does not see the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is not nice. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel sees the cat. The squirrel does not visit the cat. If something is red then it does not see the squirrel.
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
If something is red then it does not see the squirrel.
((("something" "is" "red" "+")) -> ("something" "sees" "squirrel" "-"))
The squirrel does not visit the cat.
True
1
proof
[(triple15)]
("squirrel" "visits" "cat" "-")
triple15
The squirrel is nice.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "nice" "+")
triple10
The squirrel does not see the squirrel.
True
2
proof
[(((triple11) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple11) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The squirrel sees the squirrel.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
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 red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat does not eat the squirrel.[(triple1)] The cat does not see the squirrel.[(triple6)] The cat is nice.[(triple3)] The cat is not blue.[(triple2)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat visits the squirrel.[(triple7)] The squirrel does not visit the cat.[(triple15)] The squirrel eats the cat.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is not nice.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel sees the cat.[(triple14)] @1: The squirrel does not see the squirrel.[(((triple11) -> rule1))]
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple1
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is not blue.
("cat" "is" "blue" "-")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple15
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple14
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
((triple11) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1