The dog eats the rabbit. The lion visits the rabbit. The rabbit sees the lion. If someone eats the rabbit and they visit the dog then the dog eats the lion. If someone eats the rabbit then the rabbit visits the lion. If someone visits the lion then the lion is red.
The dog does not eat the lion.
@0: The dog eats the rabbit.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit sees the lion.[(triple3)] @1: The rabbit visits the lion.[(((triple1) -> rule2))] @2: The lion is red.[(((((triple1) -> rule2)) -> rule3))]