The bald eagle chases the mouse. The bald eagle eats the cow. The cow eats the tiger. The cow needs the bald eagle. The mouse does not eat the cow. The mouse is big. The tiger chases the cow. If someone eats the cow and the cow is young then they chase the mouse. If someone needs the bald eagle then they do not eat the mouse. If someone needs the cow then the cow is young.
The bald eagle is red.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the cow.[(triple2)] The cow eats the tiger.[(triple3)] The cow needs the bald eagle.[(triple4)] The mouse does not eat the cow.[(triple5)] The mouse is big.[(triple6)] The tiger chases the cow.[(triple7)] @1: The cow does not eat the mouse.[(((triple4) -> rule2))]