The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. If the squirrel is kind then the squirrel is green.
The squirrel is nice.
@0: The squirrel is green.[(triple2 OR ((triple3) -> rule1))] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is not blue.[(triple1)] The squirrel is red.[(triple5)]