The dog sees the rabbit. The rabbit is red. The rabbit sees the dog. If someone sees the rabbit then the rabbit eats the dog. If someone eats the dog then they are red.
The rabbit sees the dog.
@0: The dog sees the rabbit.[(triple1)] The rabbit is red.[(triple2 OR ((((triple1) -> rule1)) -> rule2))] The rabbit sees the dog.[(triple3)] @1: The rabbit eats the dog.[(((triple1) -> rule1))]