The mouse needs the rabbit. The rabbit eats the squirrel. The squirrel likes the rabbit. If someone likes the rabbit then they eat the mouse. If someone likes the mouse then the mouse needs the squirrel. If someone is kind and they like the squirrel then they are big. If someone is kind and red then they eat the rabbit. If someone eats the mouse then the mouse likes the rabbit. If someone eats the squirrel then they are big.
The mouse is big.
@0: The mouse needs the rabbit.[(triple1)] The rabbit eats the squirrel.[(triple2)] The squirrel likes the rabbit.[(triple3)] @1: The rabbit is big.[(((triple2) -> rule6))] The squirrel eats the mouse.[(((triple3) -> rule1))] @2: The mouse likes the rabbit.[(((((triple3) -> rule1)) -> rule5))] @3: The mouse eats the mouse.[(((((((triple3) -> rule1)) -> rule5)) -> rule1))]