The cat chases the squirrel. The cat eats the mouse. The cow is green. The mouse is red. The squirrel chases the cow. The squirrel eats the mouse. The squirrel is round. If someone chases the squirrel and they chase the cow then they chase the cat. If someone is round and red then they chase the mouse. If someone eats the cow then the cow eats the cat. If someone chases the cow then they eat the mouse. If someone is round then they visit the cat. If someone is round then they chase the squirrel. If the cat is blue and the cat chases the squirrel then the squirrel chases the cow. If the squirrel chases the cat and the cat chases the squirrel then the cat chases the mouse.
The cat does not chase the mouse.
@0: The cat chases the squirrel.[(triple1)] The cat eats the mouse.[(triple2)] The cow is green.[(triple3)] The mouse is red.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel eats the mouse.[(triple6 OR ((triple5) -> rule4))] The squirrel is round.[(triple7)] @1: The squirrel chases the squirrel.[(((triple7) -> rule6))] The squirrel visits the cat.[(((triple7) -> rule5))] @2: The squirrel chases the cat.[(((((triple7) -> rule6) triple5) -> rule1))] @3: The cat chases the mouse.[(((((((triple7) -> rule6) triple5) -> rule1) triple1) -> rule8))]