The dog chases the mouse. The mouse chases the dog. The mouse sees the dog. Blue people are young. If someone sees the dog then they do not chase the mouse.
The mouse chases the dog.
@0: The dog chases the mouse.[(triple1)] The mouse chases the dog.[(triple2)] The mouse sees the dog.[(triple3)] @1: The mouse does not chase the mouse.[(((triple3) -> rule2))]