The rabbit chases the squirrel. The rabbit is red. The squirrel eats the rabbit. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel needs the rabbit. If something needs the squirrel and the squirrel is round then the squirrel is green. If something chases the rabbit and the rabbit is nice then the rabbit chases the squirrel.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something needs the squirrel and the squirrel is round then the squirrel is green.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "green" "+"))
If something chases the rabbit and the rabbit is nice then the rabbit chases the squirrel.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "chases" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple4)]
("squirrel" "is" "green" "+")
triple4
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "eats" "rabbit" "-")
triple3
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is red.[(triple2)] The squirrel eats the rabbit.[(triple3)] The squirrel is green.[(triple4)] The squirrel is red.[(triple5)] The squirrel is round.[(triple6)] The squirrel needs the rabbit.[(triple7)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple7