The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is round. If something is round then it is kind. Blue, green things are rough.
The squirrel is blue.
@0: The squirrel is green.[(triple2)] The squirrel is kind.[(triple3 OR ((triple5) -> rule1))] The squirrel is not blue.[(triple1)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]