The lion eats the squirrel. The mouse sees the lion. The squirrel sees the tiger. The tiger is nice. If someone is rough and they need the squirrel then they eat the lion. If someone eats the mouse then the mouse eats the squirrel. If someone sees the lion then they need the squirrel. If someone needs the mouse and they see the squirrel then they need the tiger. If someone sees the lion then they are rough. If someone is rough and they eat the lion then the lion eats the mouse.
The tiger is red.
@0: The lion eats the squirrel.[(triple1)] The mouse sees the lion.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is nice.[(triple4)] @1: The mouse is rough.[(((triple2) -> rule5))] The mouse needs the squirrel.[(((triple2) -> rule3))] @2: The mouse eats the lion.[(((((triple2) -> rule5) ((triple2) -> rule3)) -> rule1))] @3: The lion eats the mouse.[(((((triple2) -> rule5) ((((triple2) -> rule5) ((triple2) -> rule3)) -> rule1)) -> rule6))] @4: The mouse eats the squirrel.[(((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule2))]