The bald eagle is not cold. The bald eagle visits the dog. The dog visits the bald eagle. If someone likes the dog then they are nice. If someone is nice then they eat the bald eagle. If the dog visits the bald eagle then the bald eagle likes the dog.
The dog is not cold.
@0: The bald eagle is not cold.[(triple1)] The bald eagle visits the dog.[(triple2)] The dog visits the bald eagle.[(triple3)] @1: The bald eagle likes the dog.[(((triple3) -> rule3))] @2: The bald eagle is nice.[(((((triple3) -> rule3)) -> rule1))] @3: The bald eagle eats the bald eagle.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]