The dog does not need the tiger. The lion is not round. The tiger sees the dog. All round things are young. If something eats the dog and it does not see the dog then it needs the lion. If something needs the dog then it eats the lion. If something sees the tiger and the tiger sees the lion then the tiger needs the dog. If the lion eats the dog and the lion needs the tiger then the tiger needs the lion. If something eats the dog then the dog is blue. If something is round then it does not need the dog. If something sees the dog then it needs the tiger.
The tiger does not see the dog.
@0: The dog does not need the tiger.[(triple1)] The lion is not round.[(triple2)] The tiger sees the dog.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule8))]