The squirrel is blue. If something is blue then it is red. If something is round and rough then it is blue. If the squirrel is green then the squirrel is blue. If the squirrel is blue then the squirrel is rough. If something is blue and rough then it is green. If something is red then it is rough.
The squirrel is not round.
@0: The squirrel is blue.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule1))] The squirrel is rough.[(((triple1) -> rule4) OR ((((triple1) -> rule1)) -> rule6))] @2: The squirrel is green.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule5))]