The cat eats the mouse. The mouse eats the cat. The mouse eats the squirrel. The mouse visits the cat. The mouse visits the squirrel. The squirrel eats the cat. The squirrel visits the cat. If someone eats the squirrel then they are blue. If someone eats the squirrel then they chase the mouse. If someone is blue and they visit the cat then the cat eats the squirrel.
The mouse does not eat the mouse.
@0: The cat eats the mouse.[(triple1)] The mouse eats the cat.[(triple2)] The mouse eats the squirrel.[(triple3)] The mouse visits the cat.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The mouse chases the mouse.[(((triple3) -> rule2))] The mouse is blue.[(((triple3) -> rule1))] @2: The cat eats the squirrel.[(((((triple3) -> rule1) triple4) -> rule3))] @3: The cat chases the mouse.[(((((((triple3) -> rule1) triple4) -> rule3)) -> rule2))] The cat is blue.[(((((((triple3) -> rule1) triple4) -> rule3)) -> rule1))]