The bald eagle is cold. The cat is cold. The cow sees the bald eagle. If something sees the bald eagle then it needs the cow. If the cat visits the bald eagle then the bald eagle is red. If something is young then it sees the cat.
The cat does not see the cat.
@0: The bald eagle is cold.[(triple1)] The cat is cold.[(triple2)] The cow sees the bald eagle.[(triple3)] @1: The cow needs the cow.[(((triple3) -> rule1))]