The bald eagle eats the cat. The bald eagle likes the cat. The cat needs the bald eagle. If someone eats the cat then they need the bald eagle. If someone needs the bald eagle and the bald eagle likes the cat then they are cold.
The bald eagle is not cold.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat needs the bald eagle.[(triple3)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule1))] The cat is cold.[(((triple3 triple2) -> rule2))] @2: The bald eagle is cold.[(((((triple1) -> rule1) triple2) -> rule2))]