The mouse is rough. The squirrel does not chase the mouse. The squirrel is rough. The squirrel is round. The squirrel needs the mouse. The tiger is big. The tiger is cold. If someone sees the mouse then they see the tiger. If someone is nice then they chase the tiger. If the tiger needs the squirrel then the squirrel sees the mouse. If the squirrel sees the mouse then the mouse chases the squirrel. If someone is cold then they need the squirrel. If someone sees the squirrel then the squirrel sees the tiger.
The tiger sees the tiger.
@0: The mouse is rough.[(triple1)] The squirrel does not chase the mouse.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4)] The squirrel needs the mouse.[(triple5)] The tiger is big.[(triple6)] The tiger is cold.[(triple7)] @1: The tiger needs the squirrel.[(((triple7) -> rule5))] @2: The squirrel sees the mouse.[(((((triple7) -> rule5)) -> rule3))] @3: The mouse chases the squirrel.[(((((((triple7) -> rule5)) -> rule3)) -> rule4))] The squirrel sees the tiger.[(((((((triple7) -> rule5)) -> rule3)) -> rule1))]