The dog is green. The rabbit eats the dog. If someone sees the dog then the dog visits the rabbit. If the rabbit eats the dog then the rabbit sees the dog. If someone eats the dog and they visit the rabbit then the dog eats the rabbit. If someone sees the dog and the dog sees the rabbit then the dog eats the rabbit. If someone visits the rabbit then the rabbit is rough. If someone visits the dog then they do not visit the rabbit.
The rabbit sees the rabbit.
@0: The dog is green.[(triple1)] The rabbit eats the dog.[(triple2)] @1: The rabbit sees the dog.[(((triple2) -> rule2))] @2: The dog visits the rabbit.[(((((triple2) -> rule2)) -> rule1))] @3: The rabbit is rough.[(((((((triple2) -> rule2)) -> rule1)) -> rule5))]