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