The bald eagle sees the lion. The cat eats the mouse. The lion is blue. The mouse is red. If someone is blue then they need the cat. If the lion sees the mouse and the mouse eats the bald eagle then the lion is blue. If someone eats the cat then they see the cat. If someone is blue and they see the cat then the cat eats the lion. If someone sees the bald eagle then they are red. If someone needs the mouse and they eat the mouse then the mouse is blue. If someone sees the cat then they eat the lion. If someone is rough and they see the bald eagle then they eat the lion.
The lion does not need the cat.
@0: The bald eagle sees the lion.[(triple1)] The cat eats the mouse.[(triple2)] The lion is blue.[(triple3)] The mouse is red.[(triple4)] @1: The lion needs the cat.[(((triple3) -> rule1))]