The rabbit eats the tiger. The tiger visits the rabbit. If someone visits the rabbit then they see the tiger. If someone is nice then they are blue. If someone sees the tiger then the tiger is not rough.
The rabbit is not blue.
@0: The rabbit eats the tiger.[(triple1)] The tiger visits the rabbit.[(triple2)] @1: The tiger sees the tiger.[(((triple2) -> rule1))] @2: The tiger is not rough.[(((((triple2) -> rule1)) -> rule3))]