The squirrel is not cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. All kind people are red. Green, kind people are red. All kind people are red.
The squirrel is red.
@0: The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is not cold.[(triple1)] The squirrel is red.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule3) OR ((triple2 triple3) -> rule2))] The squirrel is rough.[(triple5)]