The cow chases the tiger. The cow eats the squirrel. The cow needs the squirrel. The mouse eats the tiger. The mouse is green. The mouse is round. The mouse does not need the cow. The squirrel chases the cow. The squirrel chases the tiger. The squirrel eats the cow. The squirrel eats the mouse. The squirrel needs the mouse. The squirrel does not need the tiger. The tiger eats the squirrel. The tiger is green. If someone eats the tiger then they do not need the squirrel. If someone needs the cow and they need the squirrel then they are round. If someone chases the tiger then the tiger eats the cow.
The squirrel chases the tiger.
@0: The cow chases the tiger.[(triple1)] The cow eats the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The mouse does not need the cow.[(triple7)] The mouse eats the tiger.[(triple4)] The mouse is green.[(triple5)] The mouse is round.[(triple6)] The squirrel chases the cow.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel does not need the tiger.[(triple13)] The squirrel eats the cow.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel needs the mouse.[(triple12)] The tiger eats the squirrel.[(triple14)] The tiger is green.[(triple15)] @1: The mouse does not need the squirrel.[(((triple4) -> rule1))] The tiger eats the cow.[(((triple1) -> rule3) OR ((triple9) -> rule3))]