The cat likes the tiger. The dog visits the lion. The lion sees the dog. The tiger sees the cat. If something sees the cat then it sees the dog. If something is nice then it likes the dog. If something sees the cat and the cat likes the tiger then it likes the tiger. If the lion visits the tiger then the lion visits the dog. Cold things are nice. If something visits the dog and it sees the tiger then it visits the tiger.
The cat visits the tiger.
@0: The cat likes the tiger.[(triple1)] The dog visits the lion.[(triple2)] The lion sees the dog.[(triple3)] The tiger sees the cat.[(triple4)] @1: The tiger likes the tiger.[(((triple4 triple1) -> rule3))] The tiger sees the dog.[(((triple4) -> rule1))]