The dog is young. The dog likes the mouse. The mouse sees the dog. If something is big and it does not chase the mouse then the mouse chases the dog. If the mouse sees the dog then the mouse chases the dog. If the mouse chases the dog and the mouse sees the dog then the mouse is kind.
The mouse does not see the dog.
@0: The dog is young.[(triple1)] The dog likes the mouse.[(triple2)] The mouse sees the dog.[(triple3)] @1: The mouse chases the dog.[(((triple3) -> rule2))] @2: The mouse is kind.[(((((triple3) -> rule2) triple3) -> rule3))]