Gary is rough. Harry is nice. If something is rough and not big then it is not young. If Harry is nice then Harry is young. Round, nice things are not cold. If something is quiet and cold then it is nice. If something is young and quiet then it is not rough. All young, nice things are quiet.
Harry is not young.
@0: Gary is rough.[(triple1)] Harry is nice.[(triple2)] @1: Harry is young.[(((triple2) -> rule2))] @2: Harry is quiet.[(((((triple2) -> rule2) triple2) -> rule6))] @3: Harry is not rough.[(((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule6)) -> rule5))]