The squirrel eats the tiger. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. If something eats the squirrel then it is young. If something likes the tiger then it likes the squirrel. If something needs the tiger then the tiger likes the squirrel. If something eats the squirrel then it is young. If something eats the squirrel and the squirrel needs the tiger then it eats the tiger. If the tiger likes the squirrel and the tiger is red then the squirrel is kind.
The tiger does not need the tiger.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3 OR ((triple15 triple13) -> rule6) OR ((((triple8) -> rule3) triple13) -> rule6))] The squirrel is nice.[(triple4)] The squirrel is red.[(triple5)] The squirrel is young.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14 OR ((triple9) -> rule1) OR ((triple9) -> rule4))] The tiger likes the squirrel.[(triple15 OR ((triple8) -> rule3))] The tiger needs the squirrel.[(triple16)] @1: The squirrel likes the squirrel.[(((triple7) -> rule2))] The tiger eats the tiger.[(((triple9 triple8) -> rule5))]