The squirrel is kind. The squirrel likes the tiger. The tiger is blue. The tiger is not green. The tiger is not kind. The tiger is rough. The tiger is round. The tiger likes the squirrel. The tiger needs the squirrel. The tiger sees the squirrel. If the squirrel likes the tiger then the tiger needs the squirrel.
The squirrel is not green.
@0: The squirrel is kind.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger is blue.[(triple3)] The tiger is not green.[(triple4)] The tiger is not kind.[(triple5)] The tiger is rough.[(triple6)] The tiger is round.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger needs the squirrel.[(triple9 OR ((triple2) -> rule1))] The tiger sees the squirrel.[(triple10)]