The bear eats the squirrel. The bear is kind. The bear is young. The bear needs the cow. The cow eats the bear. The cow eats the squirrel. The cow is blue. The cow is green. The cow is kind. The cow is young. The cow needs the bear. The cow sees the bear. The cow sees the squirrel. The squirrel eats the bear. The squirrel sees the bear. The squirrel sees the cow. If something sees the cow and the cow eats the squirrel then it needs the cow.
The squirrel does not need the cow.
@0: The bear eats the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is young.[(triple3)] The bear needs the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the squirrel.[(triple6)] The cow is blue.[(triple7)] The cow is green.[(triple8)] The cow is kind.[(triple9)] The cow is young.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12)] The cow sees the squirrel.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The squirrel needs the cow.[(((triple16 triple6) -> rule1))]