The cat is not blue. The cat is green. The cat is kind. The cat is rough. The cat is round. The cat needs the squirrel. The cat does not see the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is not green. The squirrel is not kind. The squirrel is not rough. The squirrel is round. The squirrel needs the cat. The squirrel does not see the cat. The squirrel visits the cat. If someone visits the cat and the cat needs the squirrel then they do not see the squirrel.
The cat is not blue.
("cat" "is" "blue" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the cat and the cat needs the squirrel then they do not see the squirrel.
((("someone" "visits" "cat" "+") ("cat" "needs" "squirrel" "+")) -> ("someone" "sees" "squirrel" "-"))
The squirrel is not green.
True
1
proof
[(triple10)]
("squirrel" "is" "green" "-")
triple10
The squirrel sees the cat.
False
1
inv-proof
[(triple15)]
("squirrel" "sees" "cat" "+")
triple15
The squirrel does not see the squirrel.
True
3
proof
[(((triple16 triple6) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple16 triple6) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The squirrel sees the squirrel.
False
3
inv-proof
[(((triple16 triple6) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple16 triple6) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "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 cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cat does not see the squirrel.[(triple7)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is not blue.[(triple1)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat needs the squirrel.[(triple6)] The cat visits the squirrel.[(triple8)] The squirrel does not see the cat.[(triple15)] The squirrel is blue.[(triple9)] The squirrel is not green.[(triple10)] The squirrel is not kind.[(triple11)] The squirrel is not rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple16)] @1: The squirrel does not see the squirrel.[(((triple16 triple6) -> rule1))]
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple7
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is not blue.
("cat" "is" "blue" "-")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple8
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple15
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is not green.
("squirrel" "is" "green" "-")
triple10
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple11
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
((triple16 triple6) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1