The cow visits the mouse. The mouse does not visit the tiger. The squirrel sees the cow. The tiger chases the cow. If the cow chases the squirrel and the squirrel does not chase the cow then the cow is big. If the tiger sees the squirrel and the squirrel visits the tiger then the tiger is nice. If something is nice then it visits the tiger. If something sees the squirrel then the squirrel chases the mouse. If something chases the cow then it sees the squirrel. If the squirrel is blue then the squirrel sees the tiger. If something sees the tiger then the tiger visits the mouse. If something visits the mouse and it does not see the tiger then the mouse visits the squirrel.
The squirrel chases the mouse.
@0: The cow visits the mouse.[(triple1)] The mouse does not visit the tiger.[(triple2)] The squirrel sees the cow.[(triple3)] The tiger chases the cow.[(triple4)] @1: The tiger sees the squirrel.[(((triple4) -> rule5))] @2: The squirrel chases the mouse.[(((((triple4) -> rule5)) -> rule4))]