The bald eagle likes the cow. The bald eagle visits the lion. The cow likes the lion. The cow visits the lion. The lion eats the bald eagle. The squirrel eats the bald eagle. The squirrel visits the bald eagle. If something eats the lion and the lion eats the bald eagle then the lion likes the cow. If something eats the cow then the cow is cold. If something visits the squirrel then it visits the lion. If something visits the bald eagle then the bald eagle likes the squirrel. If something is rough then it is cold. If something likes the squirrel then the squirrel eats the lion. If the squirrel eats the bald eagle then the bald eagle visits the lion. If something likes the cow and the cow likes the squirrel then the squirrel is rough.
The squirrel eats the lion.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle visits the lion.[(triple2 OR ((triple6) -> rule7))] The cow likes the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion eats the bald eagle.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle likes the squirrel.[(((triple7) -> rule4))] @2: The squirrel eats the lion.[(((((triple7) -> rule4)) -> rule6))] @3: The lion likes the cow.[(((((((triple7) -> rule4)) -> rule6) triple5) -> rule1))]