The squirrel is rough. Green things are not blue. All green, nice things are blue. Rough things are green. All round, nice things are green. If something is rough and not nice then it is green. Blue things are not green. If something is blue then it is rough. If something is rough then it is not round.
The squirrel is not rough.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule3))] The squirrel is not round.[(((triple1) -> rule8))] @2: The squirrel is not blue.[(((((triple1) -> rule3)) -> rule1))]