The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle likes the cow. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow is rough. The cow likes the bald eagle. The cow visits the squirrel. The squirrel eats the cow. The squirrel likes the cow. If something eats the cow then the cow is red. If something eats the cow and it visits the squirrel then the cow eats the bald eagle. If something is cold and blue then it likes the cow. If the squirrel eats the bald eagle then the squirrel is blue. If something likes the bald eagle then the bald eagle likes the cow. If something likes the cow and it likes the squirrel then the cow visits the bald eagle.
The cow visits the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple7) -> rule5))] The bald eagle visits the cow.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The cow is rough.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The cow is red.[(((triple9) -> rule1))]