The dog chases the tiger. The tiger visits the dog. If something chases the tiger and it visits the dog then the tiger visits the dog. If something chases the dog and the dog visits the tiger then the dog does not need the tiger. If something visits the dog then the dog needs the tiger. If something visits the tiger and the tiger is not rough then it needs the dog. If something visits the dog then it does not chase the dog. If something is big then it does not chase the dog. If the dog needs the tiger then the dog is big. If the tiger needs the dog then the tiger is green.
The dog does not need the tiger.
@0: The dog chases the tiger.[(triple1)] The tiger visits the dog.[(triple2)] @1: The dog needs the tiger.[(((triple2) -> rule3))] The tiger does not chase the dog.[(((triple2) -> rule5))] @2: The dog is big.[(((((triple2) -> rule3)) -> rule7))] @3: The dog does not chase the dog.[(((((((triple2) -> rule3)) -> rule7)) -> rule6))]