The squirrel eats the tiger. The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is not young. The squirrel does not like the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is not green. The tiger is not young. The tiger likes the squirrel. The tiger does not see the squirrel. If someone sees the tiger and they are not blue then they do not like the squirrel. If someone is kind then they do not eat the squirrel. If someone eats the squirrel and the squirrel sees the tiger then the squirrel eats the tiger.
The tiger is not kind.
@0: The squirrel does not like the tiger.[(triple6)] The squirrel eats the tiger.[(triple1 OR ((triple8 triple7) -> rule3))] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is not blue.[(triple2)] The squirrel is not young.[(triple5)] The squirrel sees the tiger.[(triple7)] The tiger does not see the squirrel.[(triple12)] The tiger eats the squirrel.[(triple8)] The tiger is not green.[(triple9)] The tiger is not young.[(triple10)] The tiger likes the squirrel.[(triple11)] @1: The squirrel does not eat the squirrel.[(((triple4) -> rule2))] The squirrel does not like the squirrel.[(((triple7 triple2) -> rule1))]