The dog sees the lion. The lion sees the dog. If someone sees the lion and the lion is rough then they do not need the lion. If someone chases the lion then they do not need the lion. If someone sees the dog then the dog chases the lion. If the dog needs the lion and the lion needs the dog then the lion is cold. If someone needs the lion and the lion chases the dog then the lion is not nice. If the lion sees the dog and the dog does not chase the lion then the dog is rough.
The dog does not see the lion.
@0: The dog sees the lion.[(triple1)] The lion sees the dog.[(triple2)] @1: The dog chases the lion.[(((triple2) -> rule3))] @2: The dog does not need the lion.[(((((triple2) -> rule3)) -> rule2))]