The cow eats the squirrel. The cow likes the squirrel. The cow needs the squirrel. The dog eats the cow. The dog eats the mouse. The dog is nice. The dog needs the cow. The mouse is green. The mouse likes the squirrel. The squirrel is green. The squirrel likes the cow. The squirrel needs the cow. If the squirrel is green and the squirrel eats the dog then the dog needs the mouse. If someone is cold and they need the squirrel then they are round. If someone likes the mouse then the mouse is nice. If someone eats the cow then they need the mouse. If the cow is nice then the cow needs the squirrel. If someone eats the squirrel then the squirrel needs the mouse. If the mouse likes the dog then the mouse is nice. If the squirrel needs the cow then the cow is nice.
The cow is nice.
@0: The cow eats the squirrel.[(triple1)] The cow likes the squirrel.[(triple2)] The cow needs the squirrel.[(triple3 OR ((((triple12) -> rule8)) -> rule5))] The dog eats the cow.[(triple4)] The dog eats the mouse.[(triple5)] The dog is nice.[(triple6)] The dog needs the cow.[(triple7)] The mouse is green.[(triple8)] The mouse likes the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow is nice.[(((triple12) -> rule8))] The dog needs the mouse.[(((triple4) -> rule4))] The squirrel needs the mouse.[(((triple1) -> rule6))]