Harry is green. Harry is rough. Harry is young. If something is big and rough then it is young. If Harry is green then Harry is rough. All rough, big things are young. All young, white things are quiet. If Harry is rough then Harry is white. All rough, big things are young.
Harry is white.
@0: Harry is green.[(triple1)] Harry is rough.[(triple2 OR ((triple1) -> rule2))] Harry is young.[(triple3)] @1: Harry is white.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] @2: Harry is quiet.[(((triple3 ((triple2) -> rule5)) -> rule4) OR ((triple3 ((((triple1) -> rule2)) -> rule5)) -> rule4))]