The bald eagle does not eat the cat. The bald eagle does not eat the mouse. The bald eagle is green. The bald eagle is red. The bald eagle likes the cat. The bald eagle likes the mouse. The bald eagle likes the squirrel. The cat eats the mouse. The cat eats the squirrel. The mouse is rough. The mouse does not like the cat. The mouse likes the squirrel. The squirrel does not eat the mouse. The squirrel likes the cat. The squirrel does not like the mouse. The squirrel sees the bald eagle. If something likes the cat then the cat sees the squirrel. If something eats the bald eagle then it likes the squirrel. If something eats the mouse then it eats the bald eagle.
The cat sees the squirrel.
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle does not eat the mouse.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The cat eats the mouse.[(triple8)] The cat eats the squirrel.[(triple9)] The mouse does not like the cat.[(triple11)] The mouse is rough.[(triple10)] The mouse likes the squirrel.[(triple12)] The squirrel does not eat the mouse.[(triple13)] The squirrel does not like the mouse.[(triple15)] The squirrel likes the cat.[(triple14)] The squirrel sees the bald eagle.[(triple16)] @1: The cat eats the bald eagle.[(((triple8) -> rule3))] The cat sees the squirrel.[(((triple14) -> rule1) OR ((triple5) -> rule1))] @2: The cat likes the squirrel.[(((((triple8) -> rule3)) -> rule2))]