The mouse chases the squirrel. The mouse eats the tiger. The mouse is blue. The mouse is rough. The mouse sees the tiger. The squirrel chases the mouse. The squirrel is red. The squirrel sees the mouse. The squirrel sees the tiger. The tiger sees the squirrel. If someone eats the tiger then the tiger is nice. If someone is nice then they chase the mouse.
The mouse does not chase the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse is rough.[(triple4)] The mouse sees the tiger.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is red.[(triple7)] The squirrel sees the mouse.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The tiger is nice.[(((triple2) -> rule1))] @2: The tiger chases the mouse.[(((((triple2) -> rule1)) -> rule2))]