The bald eagle eats the tiger. The bald eagle does not like the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse is green. The mouse is round. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is kind. The squirrel is round. The tiger does not chase the bald eagle. The tiger chases the mouse. If something is blue and it eats the tiger then the tiger does not eat the mouse. If the squirrel eats the bald eagle then the squirrel eats the mouse. If the squirrel is round and the squirrel does not chase the bald eagle then the bald eagle is round.
The squirrel is kind.
@0: The bald eagle does not like the squirrel.[(triple2)] The bald eagle eats the tiger.[(triple1)] The mouse eats the squirrel.[(triple3)] The mouse is blue.[(triple4)] The mouse is green.[(triple5)] The mouse is round.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is round.[(triple10)] The tiger chases the mouse.[(triple12)] The tiger does not chase the bald eagle.[(triple11)] @1: The squirrel eats the mouse.[(((triple7) -> rule2))]