Harry is red. Harry is rough. Harry is round. Quiet, red things are green. If something is red and rough then it is round. Young, red things are round. Rough things are young. If Harry is rough then Harry is green. All round things are green.
Harry is quiet.
@0: Harry is red.[(triple1)] Harry is rough.[(triple2)] Harry is round.[(triple3 OR ((triple1 triple2) -> rule2) OR ((((triple2) -> rule4) triple1) -> rule3))] @1: Harry is green.[(((triple2) -> rule5) OR ((triple3) -> rule6) OR ((((triple1 triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule4) triple1) -> rule3)) -> rule6))] Harry is young.[(((triple2) -> rule4))]