The lion does not see the mouse. The mouse chases the lion. The mouse chases the squirrel. The mouse does not chase the tiger. The mouse eats the tiger. The mouse is not round. The mouse is young. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is round. The squirrel sees the tiger. The tiger does not chase the mouse. The tiger does not chase the squirrel. The tiger sees the lion. The tiger sees the mouse. If something eats the mouse then it chases the tiger. If something sees the lion and the lion sees the mouse then the mouse eats the lion. If something chases the tiger and it is round then the tiger is nice.
The mouse chases the mouse.
@0: The lion does not see the mouse.[(triple1)] The mouse chases the lion.[(triple2)] The mouse chases the squirrel.[(triple3)] The mouse does not chase the tiger.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is not round.[(triple6)] The mouse is young.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger does not chase the mouse.[(triple12)] The tiger does not chase the squirrel.[(triple13)] The tiger sees the lion.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The squirrel chases the tiger.[(((triple9) -> rule1))] @2: The tiger is nice.[(((((triple9) -> rule1) triple10) -> rule3))]