The cat visits the mouse. The mouse eats the squirrel. The mouse is cold. The mouse is green. The mouse is rough. The mouse needs the squirrel. The mouse visits the cat. The squirrel eats the cat. The squirrel eats the mouse. The squirrel is green. The squirrel is red. The squirrel needs the cat. The squirrel needs the mouse. The squirrel visits the cat. The squirrel visits the mouse. If someone visits the cat and the cat needs the mouse then they need the mouse. If someone eats the squirrel then they visit the mouse.
The squirrel does not eat the cat.
@0: The cat visits the mouse.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is rough.[(triple5)] The mouse needs the squirrel.[(triple6)] The mouse visits the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the cat.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse visits the mouse.[(((triple2) -> rule2))]