The bear is blue. The cow is not round. The squirrel is not blue. The tiger chases the bear. If something needs the squirrel and the squirrel chases the cow then the cow likes the tiger. If something is round then it needs the tiger. If something chases the bear then the bear does not chase the cow.
The bear needs the tiger.
@0: The bear is blue.[(triple1)] The cow is not round.[(triple2)] The squirrel is not blue.[(triple3)] The tiger chases the bear.[(triple4)] @1: The bear does not chase the cow.[(((triple4) -> rule3))]