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 does not eat the rabbit.
@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))]