The lion visits the rabbit. The rabbit sees the lion. If someone sees the lion then the lion is kind. If someone visits the lion and they are red then they see the rabbit. If someone visits the rabbit then they like the lion.
The lion does not like the lion.
@0: The lion visits the rabbit.[(triple1)] The rabbit sees the lion.[(triple2)] @1: The lion is kind.[(((triple2) -> rule1))] The lion likes the lion.[(((triple1) -> rule3))]