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