The dog does not eat the squirrel. The dog is rough. The dog sees the tiger. The mouse eats the tiger. The mouse is not red. The mouse is young. The mouse likes the tiger. The mouse sees the dog. The mouse does not see the squirrel. The squirrel is not young. The squirrel likes the dog. The tiger is not green. The tiger likes the dog. The tiger sees the dog. The tiger sees the mouse. If the squirrel sees the dog then the dog eats the squirrel. If the tiger eats the dog then the dog eats the squirrel. All green people are rough. If the squirrel eats the mouse then the mouse eats the tiger. If someone is green and red then they do not like the mouse. If someone is red then they are green. If someone is rough then they like the squirrel. If the mouse is red then the mouse sees the tiger.
The squirrel sees the tiger.
@0: The dog does not eat the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog sees the tiger.[(triple3)] The mouse does not see the squirrel.[(triple9)] The mouse eats the tiger.[(triple4)] The mouse is not red.[(triple5)] The mouse is young.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the dog.[(triple8)] The squirrel is not young.[(triple10)] The squirrel likes the dog.[(triple11)] The tiger is not green.[(triple12)] The tiger likes the dog.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The dog likes the squirrel.[(((triple2) -> rule7))]