The cat likes the mouse. The cat visits the mouse. The cow likes the squirrel. The mouse is not blue. The mouse is green. The mouse visits the cat. The mouse does not visit the squirrel. The squirrel is green. The squirrel is round. The squirrel likes the cat. The squirrel likes the mouse. The squirrel visits the mouse. If someone eats the mouse and they do not eat the cow then the cow likes the cat. If the cat is rough and the cat does not eat the mouse then the cat likes the squirrel. If the squirrel is green and the squirrel visits the mouse then the squirrel visits the cow.
The mouse is not blue.
@0: The cat likes the mouse.[(triple1)] The cat visits the mouse.[(triple2)] The cow likes the squirrel.[(triple3)] The mouse does not visit the squirrel.[(triple7)] The mouse is green.[(triple5)] The mouse is not blue.[(triple4)] The mouse visits the cat.[(triple6)] The squirrel is green.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel visits the cow.[(((triple8 triple12) -> rule3))]