The dog does not need the squirrel. The squirrel is blue. The tiger chases the squirrel. If the dog visits the squirrel and the squirrel needs the dog then the dog is green. If the dog is not blue then the dog chases the squirrel. If someone chases the dog and the dog visits the squirrel then the squirrel does not chase the tiger. All blue people are not big. If someone chases the tiger then the tiger chases the squirrel. If someone is nice and not big then they need the tiger. If someone is nice then they do not need the tiger. If the dog does not need the tiger and the tiger does not chase the dog then the dog needs the squirrel.
The dog does not need the tiger.
@0: The dog does not need the squirrel.[(triple1)] The squirrel is blue.[(triple2)] The tiger chases the squirrel.[(triple3)] @1: The squirrel is not big.[(((triple2) -> rule4))]