The mouse is red. The rabbit is green. The squirrel is red. The tiger sees the mouse. If something is green then it eats the mouse. If something chases the mouse then the mouse sees the squirrel. If something chases the tiger then the tiger sees the mouse. If the mouse is red then the mouse sees the tiger. If something eats the mouse then it chases the squirrel. If something chases the squirrel then the squirrel is green.
The squirrel is green.
@0: The mouse is red.[(triple1)] The rabbit is green.[(triple2)] The squirrel is red.[(triple3)] The tiger sees the mouse.[(triple4)] @1: The mouse sees the tiger.[(((triple1) -> rule4))] The rabbit eats the mouse.[(((triple2) -> rule1))] @2: The rabbit chases the squirrel.[(((((triple2) -> rule1)) -> rule5))] @3: The squirrel is green.[(((((((triple2) -> rule1)) -> rule5)) -> rule6))] @4: The squirrel eats the mouse.[(((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule1))] @5: The squirrel chases the squirrel.[(((((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule1)) -> rule5))]