The bald eagle likes the cow. The cow needs the bald eagle. The squirrel likes the bald eagle. If someone needs the cow then the cow is big. If someone needs the squirrel then the squirrel needs the cow. If someone likes the bald eagle then the bald eagle needs the squirrel. If someone visits the squirrel then they are big. If someone visits the cow then they like the bald eagle. If someone is blue then they like the cow.
The bald eagle needs the squirrel.
@0: The bald eagle likes the cow.[(triple1)] The cow needs the bald eagle.[(triple2)] The squirrel likes the bald eagle.[(triple3)] @1: The bald eagle needs the squirrel.[(((triple3) -> rule3))] @2: The squirrel needs the cow.[(((((triple3) -> rule3)) -> rule2))] @3: The cow is big.[(((((((triple3) -> rule3)) -> rule2)) -> rule1))]