The rabbit visits the tiger. The tiger is nice. If someone is rough then they visit the rabbit. If someone visits the tiger then they like the rabbit. If someone is nice then they visit the tiger.
The tiger does not like the rabbit.
@0: The rabbit visits the tiger.[(triple1)] The tiger is nice.[(triple2)] @1: The rabbit likes the rabbit.[(((triple1) -> rule2))] The tiger visits the tiger.[(((triple2) -> rule3))] @2: The tiger likes the rabbit.[(((((triple2) -> rule3)) -> rule2))]