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