The cat visits the mouse. The cat visits the squirrel. The mouse eats the cat. The mouse is kind. The mouse is rough. The mouse does not visit the squirrel. The squirrel chases the mouse. The squirrel eats the cat. The squirrel eats the mouse. The squirrel is blue. If someone eats the mouse then the mouse visits the cat. If someone eats the mouse then they are kind.
The mouse visits the cat.
@0: The cat visits the mouse.[(triple1)] The cat visits the squirrel.[(triple2)] The mouse does not visit the squirrel.[(triple6)] The mouse eats the cat.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The squirrel chases the mouse.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is blue.[(triple10)] @1: The mouse visits the cat.[(((triple9) -> rule1))] The squirrel is kind.[(((triple9) -> rule2))]