The bear needs the rabbit. The cat eats the rabbit. The cat is rough. The cat needs the rabbit. The rabbit is round. The squirrel eats the bear. The squirrel eats the cat. The squirrel eats the rabbit. The squirrel is blue. The squirrel is young. The squirrel needs the bear. The squirrel needs the rabbit. If something chases the bear then the bear chases the rabbit. If something is blue and it needs the rabbit then the rabbit chases the bear.
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something chases the bear then the bear chases the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If something is blue and it needs the rabbit then the rabbit chases the bear.
((("something" "is" "blue" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple8)]
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is not young.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "young" "-")
triple10
The rabbit chases the bear.
True
3
proof
[(((triple9 triple12) -> rule2))]
("rabbit" "chases" "bear" "+")
((triple9 triple12) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit does not chase the bear.
False
3
inv-proof
[(((triple9 triple12) -> rule2))]
("rabbit" "chases" "bear" "-")
((triple9 triple12) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear chases the rabbit.
True
4
proof
[(((((triple9 triple12) -> rule2)) -> rule1))]
("bear" "chases" "rabbit" "+")
((((triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear does not chase the rabbit.
False
4
inv-proof
[(((((triple9 triple12) -> rule2)) -> rule1))]
("bear" "chases" "rabbit" "-")
((((triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The cat does not eat the squirrel.
Unknown
inv-random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
@0: The bear needs the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is rough.[(triple3)] The cat needs the rabbit.[(triple4)] The rabbit is round.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The rabbit chases the bear.[(((triple9 triple12) -> rule2))] @2: The bear chases the rabbit.[(((((triple9 triple12) -> rule2)) -> rule1))]
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple9 triple12) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((((triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2