The cat chases the squirrel. The mouse sees the cat. The rabbit chases the squirrel. The rabbit is green. The squirrel chases the mouse. The squirrel sees the mouse. The squirrel sees the rabbit. If something chases the squirrel then it visits the mouse. If something visits the mouse then the mouse is blue. If the rabbit visits the cat then the cat visits the rabbit.
The mouse visits the cat.
@0: The cat chases the squirrel.[(triple1)] The mouse sees the cat.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit is green.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel sees the mouse.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The cat visits the mouse.[(((triple1) -> rule1))] The rabbit visits the mouse.[(((triple3) -> rule1))] @2: The mouse is blue.[(((((triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]