The bald eagle likes the cow. The cow does not like the bald eagle. The cow visits the bald eagle. If the bald eagle visits the cow then the cow is cold. If the cow visits the bald eagle then the bald eagle visits the cow.
The bald eagle is not nice.
@0: The bald eagle likes the cow.[(triple1)] The cow does not like the bald eagle.[(triple2)] The cow visits the bald eagle.[(triple3)] @1: The bald eagle visits the cow.[(((triple3) -> rule2))] @2: The cow is cold.[(((((triple3) -> rule2)) -> rule1))]