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