The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel does not like the tiger. The squirrel needs the tiger. The squirrel sees the tiger. The tiger is big. The tiger likes the squirrel. The tiger does not need the squirrel. The tiger sees the squirrel. If something likes the squirrel then it is red. If something needs the squirrel and the squirrel sees the tiger then it sees the squirrel. If something likes the squirrel then it needs the tiger. If something likes the squirrel and it sees the squirrel then the squirrel needs the tiger. If something sees the squirrel then the squirrel is nice. If something sees the tiger and the tiger is red then it needs the squirrel. If something likes the tiger and it is not big then it is young. If something likes the tiger then it does not like the squirrel.
The squirrel does not like the tiger.
@0: The squirrel does not like the tiger.[(triple6)] The squirrel is big.[(triple1)] The squirrel is nice.[(triple2 OR ((triple12) -> rule5) OR ((((((triple8 ((triple10) -> rule1)) -> rule6) triple8) -> rule2)) -> rule5))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)] The squirrel needs the tiger.[(triple7 OR ((triple10 triple12) -> rule4))] The squirrel sees the tiger.[(triple8)] The tiger does not need the squirrel.[(triple11)] The tiger is big.[(triple9)] The tiger likes the squirrel.[(triple10)] The tiger sees the squirrel.[(triple12)] @1: The tiger is red.[(((triple10) -> rule1))] The tiger needs the tiger.[(((triple10) -> rule3))] @2: The squirrel needs the squirrel.[(((triple8 ((triple10) -> rule1)) -> rule6))] @3: The squirrel sees the squirrel.[(((((triple8 ((triple10) -> rule1)) -> rule6) triple8) -> rule2))]