The bald eagle visits the squirrel. The cow likes the bald eagle. The squirrel is blue. The tiger needs the cow. Blue things are green. If something is green then it likes the bald eagle. If something likes the bald eagle then it visits the tiger. If something needs the squirrel and the squirrel likes the cow then it likes the cow. If something is cold and it needs the tiger then the tiger needs the squirrel. If something needs the squirrel then the squirrel likes the cow.
The tiger does not need the bald eagle.
@0: The bald eagle visits the squirrel.[(triple1)] The cow likes the bald eagle.[(triple2)] The squirrel is blue.[(triple3)] The tiger needs the cow.[(triple4)] @1: The cow visits the tiger.[(((triple2) -> rule3))] The squirrel is green.[(((triple3) -> rule1))] @2: The squirrel likes the bald eagle.[(((((triple3) -> rule1)) -> rule2))] @3: The squirrel visits the tiger.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]