The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel needs the tiger. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is not red. The tiger is rough. The tiger is young. The tiger needs the squirrel. The tiger sees the squirrel. If someone needs the squirrel and they see the squirrel then they are young. If someone needs the tiger and they see the tiger then they do not chase the squirrel. Green people are rough.
The tiger chases the tiger.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5 OR ((triple3) -> rule3))] The squirrel is young.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger is not red.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13 OR ((triple14 triple15) -> rule1))] The tiger needs the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The squirrel does not chase the squirrel.[(((triple7 triple8) -> rule2))]