The bald eagle is cold. The cat sees the dog. The dog chases the bald eagle. The tiger is cold. If someone sees the dog then they chase the bald eagle.
The cat does not chase the bald eagle.
@0: The bald eagle is cold.[(triple1)] The cat sees the dog.[(triple2)] The dog chases the bald eagle.[(triple3)] The tiger is cold.[(triple4)] @1: The cat chases the bald eagle.[(((triple2) -> rule1))]