The mouse chases the tiger. The squirrel is young. The tiger likes the mouse. If someone is young then they see the tiger. If someone likes the squirrel and the squirrel is not green then the squirrel sees the mouse. If someone sees the squirrel then they are blue. If the tiger chases the mouse then the tiger likes the squirrel. If the tiger is not green then the tiger likes the squirrel. If someone sees the tiger then they are red. If someone chases the tiger then they are young. If the tiger does not like the squirrel then the squirrel likes the tiger.
The squirrel chases the tiger.
@0: The mouse chases the tiger.[(triple1)] The squirrel is young.[(triple2)] The tiger likes the mouse.[(triple3)] @1: The mouse is young.[(((triple1) -> rule7))] The squirrel sees the tiger.[(((triple2) -> rule1))] @2: The mouse sees the tiger.[(((((triple1) -> rule7)) -> rule1))] The squirrel is red.[(((((triple2) -> rule1)) -> rule6))] @3: The mouse is red.[(((((((triple1) -> rule7)) -> rule1)) -> rule6))]