The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is not round. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel visits the rabbit. If the rabbit visits the squirrel and the rabbit does not chase the squirrel then the squirrel eats the rabbit. If something is round and it visits the rabbit then it eats the squirrel. If something chases the squirrel then it visits the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the rabbit visits the squirrel and the rabbit does not chase the squirrel then the squirrel eats the rabbit.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "chases" "squirrel" "~")) -> ("squirrel" "eats" "rabbit" "+"))
If something is round and it visits the rabbit then it eats the squirrel.
((("something" "is" "round" "+") ("something" "visits" "rabbit" "+")) -> ("something" "eats" "squirrel" "+"))
If something chases the squirrel then it visits the rabbit.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "rabbit" "+"))
The squirrel is red.
True
1
proof
[(triple14)]
("squirrel" "is" "red" "+")
triple14
The squirrel is not blue.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "blue" "-")
triple11
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is not round.[(triple7)] The rabbit is red.[(triple6)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is red.[(triple14)] The squirrel is round.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The rabbit visits the rabbit.[(((triple1) -> rule3))] The squirrel eats the squirrel.[(((triple15 triple16) -> rule2))]
The rabbit chases 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 cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is not round.
("rabbit" "is" "round" "-")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple1) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15 triple16) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1