The rabbit does not chase the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit is kind. The rabbit visits the squirrel. The squirrel does not chase the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel is round. The squirrel does not visit the rabbit. If the squirrel visits the rabbit and the squirrel chases the rabbit then the squirrel eats the rabbit. If the rabbit is round and the squirrel does not visit the rabbit then the squirrel does not chase the rabbit.
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
If the squirrel visits the rabbit and the squirrel chases the rabbit then the squirrel eats the rabbit.
((("squirrel" "visits" "rabbit" "+") ("squirrel" "chases" "rabbit" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If the rabbit is round and the squirrel does not visit the rabbit then the squirrel does not chase the rabbit.
((("rabbit" "is" "round" "+") ("squirrel" "visits" "rabbit" "~")) -> ("squirrel" "chases" "rabbit" "-"))
The rabbit eats the squirrel.
True
1
proof
[(triple2)]
("rabbit" "eats" "squirrel" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "blue" "-")
triple8
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is kind.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel does not chase the rabbit.[(triple6)] The squirrel does not visit the rabbit.[(triple10)] The squirrel eats the rabbit.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is round.[(triple9)]
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple5
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
triple6
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9