The bear is red. The lion eats the mouse. The mouse eats the bear. The squirrel eats the bear. If someone is rough then they eat the mouse. If someone needs the squirrel then the squirrel is nice. If someone eats the bear then they need the squirrel. If the squirrel is young then the squirrel eats the bear. If someone likes the lion then they are blue. If someone eats the mouse and they do not need the squirrel then the mouse likes the lion.
The lion does not eat the mouse.
@0: The bear is red.[(triple1)] The lion eats the mouse.[(triple2)] The mouse eats the bear.[(triple3)] The squirrel eats the bear.[(triple4)] @1: The mouse needs the squirrel.[(((triple3) -> rule3))] The squirrel needs the squirrel.[(((triple4) -> rule3))] @2: The squirrel is nice.[(((((triple3) -> rule3)) -> rule2) OR ((((triple4) -> rule3)) -> rule2))]