The dog eats the tiger. The mouse chases the dog. The tiger sees the dog. If someone is green and they see the dog then they eat the dog. If someone sees the dog then the dog sees the mouse. If the dog eats the tiger then the tiger is green.
The mouse does not see the tiger.
@0: The dog eats the tiger.[(triple1)] The mouse chases the dog.[(triple2)] The tiger sees the dog.[(triple3)] @1: The dog sees the mouse.[(((triple3) -> rule2))] The tiger is green.[(((triple1) -> rule3))] @2: The tiger eats the dog.[(((((triple1) -> rule3) triple3) -> rule1))]