The bald eagle eats the mouse. The mouse is nice. The squirrel eats the mouse. The tiger needs the squirrel. If someone eats the mouse then they are not young. If someone likes the tiger and the tiger is rough then they eat the squirrel. If someone needs the squirrel then the squirrel is blue. If someone eats the mouse then they like the tiger. If someone is blue and they like the tiger then they eat the mouse. If the squirrel is not blue then the squirrel does not like the bald eagle.
The tiger does not eat the squirrel.
@0: The bald eagle eats the mouse.[(triple1)] The mouse is nice.[(triple2)] The squirrel eats the mouse.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The bald eagle is not young.[(((triple1) -> rule1))] The bald eagle likes the tiger.[(((triple1) -> rule4))] The squirrel is blue.[(((triple4) -> rule3))] The squirrel is not young.[(((triple3) -> rule1))] The squirrel likes the tiger.[(((triple3) -> rule4))]