The cat visits the dog. The dog visits the cat. The lion needs the tiger. The tiger needs the dog. If the dog needs the tiger and the tiger is red then the dog likes the cat. All kind, young things are blue. If something visits the cat then the cat needs the tiger. If the dog visits the lion then the dog visits the tiger. If the lion visits the cat then the cat likes the dog. If something is round and it visits the tiger then it needs the cat.
The cat does not visit the dog.
@0: The cat visits the dog.[(triple1)] The dog visits the cat.[(triple2)] The lion needs the tiger.[(triple3)] The tiger needs the dog.[(triple4)] @1: The cat needs the tiger.[(((triple2) -> rule3))]