The bald eagle needs the cat. The cat sees the bald eagle. The rabbit needs the bald eagle. If someone is red and they eat the bald eagle then they are cold. If someone sees the bald eagle then they are big. If someone eats the bald eagle then they eat the cat. If the bald eagle eats the cat and the bald eagle needs the cat then the cat is red. If someone eats the cat then they eat the bald eagle. If someone needs the bald eagle then they eat the cat.
The cat sees the bald eagle.
@0: The bald eagle needs the cat.[(triple1)] The cat sees the bald eagle.[(triple2)] The rabbit needs the bald eagle.[(triple3)] @1: The cat is big.[(((triple2) -> rule2))] The rabbit eats the cat.[(((triple3) -> rule6))] @2: The rabbit eats the bald eagle.[(((((triple3) -> rule6)) -> rule5))]