The cat is big. The rabbit chases the cat. The tiger chases the rabbit. If something chases the rabbit then the rabbit visits the tiger. If something is big and not young then it visits the tiger. If something is young and it chases the tiger then it sees the tiger.
The tiger does not chase the rabbit.
@0: The cat is big.[(triple1)] The rabbit chases the cat.[(triple2)] The tiger chases the rabbit.[(triple3)] @1: The rabbit visits the tiger.[(((triple3) -> rule1))]