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