The cow is not big. The dog does not chase the cow. The dog is big. The dog is blue. The squirrel does not chase the cow. The squirrel does not need the dog. The squirrel sees the cow. If someone is nice then they do not need the cow. If someone is big then they do not need the squirrel.
The cow does not need the squirrel.
@0: The cow is not big.[(triple1)] The dog does not chase the cow.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The squirrel does not chase the cow.[(triple5)] The squirrel does not need the dog.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The dog does not need the squirrel.[(((triple3) -> rule2))]