The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is rough. Kind, green things are nice.
The squirrel is blue.
@0: The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4 OR ((triple3 triple2) -> rule1))] The squirrel is not blue.[(triple1)] The squirrel is rough.[(triple5)]