The bald eagle visits the dog. The cat is blue. The cow needs the bald eagle. The dog visits the cat. If something visits the cat then it is cold. If something likes the bald eagle then it does not like the dog.
The bald eagle does not visit the dog.
@0: The bald eagle visits the dog.[(triple1)] The cat is blue.[(triple2)] The cow needs the bald eagle.[(triple3)] The dog visits the cat.[(triple4)] @1: The dog is cold.[(((triple4) -> rule1))]