The bald eagle is round. The bald eagle likes the squirrel. The bald eagle needs the mouse. The bald eagle needs the squirrel. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse likes the squirrel. The squirrel is round. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel visits the bald eagle. The squirrel visits the mouse. If something visits the mouse then it likes the bald eagle.
The mouse does not like the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule1))] The squirrel likes the bald eagle.[(((triple12) -> rule1))]