The squirrel chases the tiger. The squirrel is not big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel needs the tiger. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger is kind. The tiger is not nice. The tiger is round. The tiger needs the squirrel. The tiger does not see the squirrel. If something needs the tiger then the tiger chases the squirrel. If something needs the squirrel then the squirrel is rough.
The squirrel chases the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is not big.[(triple2)] The squirrel is rough.[(triple5 OR ((triple14) -> rule2))] The squirrel is round.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9 OR ((triple7) -> rule1))] The tiger does not see the squirrel.[(triple15)] The tiger is big.[(triple10)] The tiger is kind.[(triple11)] The tiger is not nice.[(triple12)] The tiger is round.[(triple13)] The tiger needs the squirrel.[(triple14)]