The dog chases the tiger. The dog is green. The dog is young. The dog sees the tiger. The squirrel does not chase the tiger. The squirrel is not green. The squirrel is young. The squirrel likes the dog. The squirrel likes the tiger. The squirrel sees the dog. The tiger chases the dog. The tiger chases the squirrel. If something is rough then it likes the tiger. If something likes the tiger then it is red. If something sees the squirrel then it is red. If something likes the squirrel and the squirrel is rough then the squirrel likes the dog. If something chases the dog and the dog sees the tiger then the dog does not chase the squirrel. If the tiger is red and the tiger likes the dog then the dog chases the squirrel. If something chases the dog then it is rough. If something is young and it does not like the squirrel then the squirrel does not chase the tiger.
The dog is not red.
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple2)] The dog is young.[(triple3)] The dog sees the tiger.[(triple4)] The squirrel does not chase the tiger.[(triple5)] The squirrel is not green.[(triple6)] The squirrel is young.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel sees the dog.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the squirrel.[(triple12)] @1: The dog does not chase the squirrel.[(((triple11 triple4) -> rule5))] The squirrel is red.[(((triple9) -> rule2))] The tiger is rough.[(((triple11) -> rule7))] @2: The tiger likes the tiger.[(((((triple11) -> rule7)) -> rule1))] @3: The tiger is red.[(((((((triple11) -> rule7)) -> rule1)) -> rule2))]