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 eats the squirrel.
@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)]