The bear needs the squirrel. The cow does not eat the dog. The cow likes the squirrel. The dog is rough. The squirrel eats the bear. The squirrel eats the dog. The squirrel is young. If something is big then it likes the dog. If the squirrel is not cold then the squirrel eats the cow. If something needs the squirrel then the squirrel is young. If something likes the dog then the dog likes the squirrel. If the dog needs the squirrel then the dog eats the squirrel. If something eats the bear and it likes the bear then the bear eats the cow.
The dog does not like the dog.
@0: The bear needs the squirrel.[(triple1)] The cow does not eat the dog.[(triple2)] The cow likes the squirrel.[(triple3)] The dog is rough.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is young.[(triple7 OR ((triple1) -> rule3))]