The bald eagle visits the dog. The dog is nice. The squirrel needs the dog. If something needs the squirrel and the squirrel eats the dog then it needs the bald eagle. If something is young then it visits the squirrel. If something visits the squirrel then the squirrel visits the dog. If something eats the bald eagle and it needs the bald eagle then it visits the bald eagle. If something needs the dog then the dog is young. If something eats the bald eagle then the bald eagle eats the dog.
The squirrel is cold.
@0: The bald eagle visits the dog.[(triple1)] The dog is nice.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The dog is young.[(((triple3) -> rule5))] @2: The dog visits the squirrel.[(((((triple3) -> rule5)) -> rule2))] @3: The squirrel visits the dog.[(((((((triple3) -> rule5)) -> rule2)) -> rule3))]