The bear eats the cat. The bear is round. The bear likes the rabbit. The cat eats the squirrel. The cat is blue. The cat likes the bear. The cat needs the squirrel. The rabbit is blue. The rabbit likes the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is red. If something eats the bear then the bear eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something eats the bear then the bear eats the cat.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The cat eats the squirrel.
True
1
proof
[(triple4)]
("cat" "eats" "squirrel" "+")
triple4
The bear does not like the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "likes" "rabbit" "-")
triple3
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 rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
@0: The bear eats the cat.[(triple1)] The bear is round.[(triple2)] The bear likes the rabbit.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is blue.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the squirrel.[(triple7)] The rabbit is blue.[(triple8)] The rabbit likes the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is red.[(triple12)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12