The bald eagle eats the cat. The cat sees the tiger. The squirrel chases the bald eagle. The tiger is big. If someone eats the cat then they eat the tiger.
The bald eagle does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The cat sees the tiger.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger is big.[(triple4)] @1: The bald eagle eats the tiger.[(((triple1) -> rule1))]