The cow is not cold. The cow sees the squirrel. The dog is green. The dog needs the squirrel. The squirrel eats the dog. The squirrel is green. The squirrel is not young. If something needs the cow and the cow eats the squirrel then the cow does not see the dog. If something needs the cow then it does not see the squirrel. If something sees the squirrel then it needs the squirrel.
The squirrel needs the cow.
@0: The cow is not cold.[(triple1)] The cow sees the squirrel.[(triple2)] The dog is green.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is green.[(triple6)] The squirrel is not young.[(triple7)] @1: The cow needs the squirrel.[(((triple2) -> rule3))]