The cat chases the squirrel. The cat eats the squirrel. The cat is green. The cat is kind. The cat is nice. The cat is rough. The cat needs the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is blue. If someone needs the squirrel and they chase the squirrel then the squirrel needs the cat. If someone eats the cat and they need the squirrel then they chase the cat. If someone is kind then they are blue. If the cat needs the squirrel then the squirrel eats the cat. If someone is nice and they eat the squirrel then they eat the cat. If someone eats the cat and the cat chases the squirrel then the cat needs the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone needs the squirrel and they chase the squirrel then the squirrel needs the cat.
((("someone" "needs" "squirrel" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If someone eats the cat and they need the squirrel then they chase the cat.
((("someone" "eats" "cat" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "chases" "cat" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If the cat needs the squirrel then the squirrel eats the cat.
((("cat" "needs" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone is nice and they eat the squirrel then they eat the cat.
((("someone" "is" "nice" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat and the cat chases the squirrel then the cat needs the squirrel.
((("someone" "eats" "cat" "+") ("cat" "chases" "squirrel" "+")) -> ("cat" "needs" "squirrel" "+"))
The squirrel is blue.
True
1
proof
[(triple10)]
("squirrel" "is" "blue" "+")
triple10
The cat is not rough.
False
1
inv-proof
[(triple6)]
("cat" "is" "rough" "-")
triple6
The cat is blue.
True
2
proof
[(((triple4) -> rule3))]
("cat" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not eat the cat.
False
3
inv-proof
[(((triple5 triple2) -> rule5))]
("cat" "eats" "cat" "-")
((triple5 triple2) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is rough.[(triple6)] The cat needs the squirrel.[(triple7 OR ((triple9 triple1) -> rule6) OR ((((triple5 triple2) -> rule5) triple1) -> rule6))] The squirrel chases the cat.[(triple8)] The squirrel eats the cat.[(triple9 OR ((triple7) -> rule4) OR ((((((triple5 triple2) -> rule5) triple1) -> rule6)) -> rule4))] The squirrel is blue.[(triple10)] @1: The cat eats the cat.[(((triple5 triple2) -> rule5))] The cat is blue.[(((triple4) -> rule3))] The squirrel needs the cat.[(((triple7 triple1) -> rule1) OR ((((triple9 triple1) -> rule6) triple1) -> rule1) OR ((((((triple5 triple2) -> rule5) triple1) -> rule6) triple1) -> rule1))] @2: The cat chases the cat.[(((((triple5 triple2) -> rule5) triple7) -> rule2) OR ((((triple5 triple2) -> rule5) ((triple9 triple1) -> rule6)) -> rule2) OR ((((triple5 triple2) -> rule5) ((((triple5 triple2) -> rule5) triple1) -> rule6)) -> rule2))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
((triple9 triple1) -> (rule6 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
((((triple5 triple2) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
((triple7) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
((((((triple5 triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple5 triple2) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple7 triple1) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((((triple9 triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
((((((triple5 triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple5 triple2) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
((((triple5 triple2) -> (rule5 % int3)) ((triple9 triple1) -> (rule6 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((((triple5 triple2) -> (rule5 % int3)) ((((triple5 triple2) -> (rule5 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3