Harry is green. White things are rough. Green things are white. Blue, white things are green. If something is blue then it is green. If Harry is green and Harry is not white then Harry is nice. If something is blue and not rough then it is round. All green, round things are young. If Harry is green and Harry is not nice then Harry is young.
Harry is rough.
@0: Harry is green.[(triple1)] @1: Harry is white.[(((triple1) -> rule2))] @2: Harry is rough.[(((((triple1) -> rule2)) -> rule1))]