The cow eats the dog. The cow eats the squirrel. The cow is big. The cow is not blue. The cow is cold. The cow is green. The dog is cold. The dog is green. The dog needs the cow. The dog visits the squirrel. The squirrel eats the cow. The squirrel is rough. If something needs the dog then the dog is blue. If something eats the cow and it is rough then it is not big.
The dog is not blue.
@0: The cow eats the dog.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is big.[(triple3)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow is not blue.[(triple4)] The dog is cold.[(triple7)] The dog is green.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is rough.[(triple12)] @1: The squirrel is not big.[(((triple11 triple12) -> rule2))]