The dog is young. The dog likes the tiger. The dog sees the mouse. The mouse chases the squirrel. The mouse is green. The mouse likes the dog. The mouse likes the squirrel. The mouse likes the tiger. The mouse sees the tiger. The squirrel is blue. The squirrel sees the dog. The tiger is blue. The tiger likes the dog. The tiger sees the dog. The tiger sees the mouse. If the tiger is nice and the tiger likes the dog then the dog likes the tiger. If something chases the mouse and it likes the tiger then the tiger is nice. If something is blue and nice then it likes the dog. Blue things are young. If the tiger is young and the tiger sees the mouse then the mouse sees the squirrel. If the tiger is kind then the tiger likes the mouse. If the dog likes the squirrel and the squirrel is blue then the squirrel chases the mouse. If something chases the mouse and the mouse chases the tiger then the tiger likes the squirrel.
The tiger is not nice.
@0: The dog is young.[(triple1)] The dog likes the tiger.[(triple2)] The dog sees the mouse.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is green.[(triple5)] The mouse likes the dog.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse sees the tiger.[(triple9)] The squirrel is blue.[(triple10)] The squirrel sees the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger likes the dog.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The squirrel is young.[(((triple10) -> rule4))] The tiger is young.[(((triple12) -> rule4))] @2: The mouse sees the squirrel.[(((((triple12) -> rule4) triple15) -> rule5))]