The dog is young. The dog likes the mouse. The dog does not see the squirrel. The mouse is young. The squirrel likes the mouse. The tiger is not red. The tiger sees the squirrel. If the mouse likes the squirrel then the mouse sees the dog. If something sees the squirrel then the squirrel sees the tiger.
The mouse is young.
@0: The dog does not see the squirrel.[(triple3)] The dog is young.[(triple1)] The dog likes the mouse.[(triple2)] The mouse is young.[(triple4)] The squirrel likes the mouse.[(triple5)] The tiger is not red.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The squirrel sees the tiger.[(((triple7) -> rule2))]