The bald eagle needs the dog. The dog is rough. The tiger eats the dog. If the dog eats the bald eagle and the bald eagle is cold then the dog likes the bald eagle. If someone eats the tiger then the tiger is young. If someone eats the bald eagle and the bald eagle is young then they like the bald eagle. All rough people are cold. If the dog eats the bald eagle and the dog likes the tiger then the tiger needs the bald eagle. If someone eats the dog then they eat the bald eagle.
The tiger needs the dog.
@0: The bald eagle needs the dog.[(triple1)] The dog is rough.[(triple2)] The tiger eats the dog.[(triple3)] @1: The dog is cold.[(((triple2) -> rule4))] The tiger eats the bald eagle.[(((triple3) -> rule6))]