The cat sees the dog. The dog needs the cat. The tiger needs the dog. If something likes the cat then the cat needs the dog. If the dog needs the tiger then the dog is rough. If something sees the dog and the dog is green then it sees the tiger. If something likes the tiger then the tiger likes the dog. If something sees the dog then the dog likes the tiger. If something is big and it likes the dog then the dog likes the tiger.
The dog does not need the cat.
@0: The cat sees the dog.[(triple1)] The dog needs the cat.[(triple2)] The tiger needs the dog.[(triple3)] @1: The dog likes the tiger.[(((triple1) -> rule5))] @2: The tiger likes the dog.[(((((triple1) -> rule5)) -> rule4))]