The bald eagle likes the cow. The bear is big. The cow chases the mouse. The mouse is kind. If someone chases the cow then they do not eat the cow. If someone is big then they eat the mouse. If the bald eagle is big then the bald eagle does not eat the mouse. If someone eats the mouse then the mouse eats the bald eagle. If the mouse chases the bald eagle and the mouse is young then the mouse eats the cow. All young people are red. If someone eats the bear and the bear chases the cow then they are young. If someone likes the bald eagle and they like the cow then the bald eagle does not chase the bear.
The mouse is kind.
@0: The bald eagle likes the cow.[(triple1)] The bear is big.[(triple2)] The cow chases the mouse.[(triple3)] The mouse is kind.[(triple4)] @1: The bear eats the mouse.[(((triple2) -> rule2))] @2: The mouse eats the bald eagle.[(((((triple2) -> rule2)) -> rule4))]