The bald eagle is green. The cat eats the bald eagle. If someone needs the cat and they do not need the bald eagle then they eat the cat. If the cat eats the bald eagle then the cat does not see the bald eagle. If someone is big then they need the cat. If someone needs the cat and the cat sees the bald eagle then the bald eagle is green. If the cat does not see the bald eagle then the bald eagle sees the cat. If someone sees the cat then the cat is nice. If someone eats the cat and the cat is big then they are not young. If someone needs the bald eagle and the bald eagle is not green then the bald eagle eats the cat.
The bald eagle eats the cat.
@0: The bald eagle is green.[(triple1)] The cat eats the bald eagle.[(triple2)] @1: The cat does not see the bald eagle.[(((triple2) -> rule2))] @2: The bald eagle sees the cat.[(((((triple2) -> rule2)) -> rule5))] @3: The cat is nice.[(((((((triple2) -> rule2)) -> rule5)) -> rule6))]