The cow does not need the squirrel. The squirrel likes the tiger. The tiger needs the cow. If something likes the cow and it does not need the squirrel then the squirrel likes the cow. If something likes the cow then it is not round. If something likes the tiger then the tiger likes the cow.
The tiger needs the cow.
@0: The cow does not need the squirrel.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger needs the cow.[(triple3)] @1: The tiger likes the cow.[(((triple2) -> rule3))] @2: The tiger is not round.[(((((triple2) -> rule3)) -> rule2))]