Harry is cold. Harry is red. Harry is young. If Harry is not rough then Harry is cold. If someone is rough then they are red. If someone is nice then they are young. If someone is rough and red then they are not quiet. All nice, cold people are not quiet. All young people are nice. If someone is quiet and not cold then they are nice. If Harry is not red then Harry is quiet.
Harry is not nice.
@0: Harry is cold.[(triple1)] Harry is red.[(triple2)] Harry is young.[(triple3)] @1: Harry is nice.[(((triple3) -> rule6))] @2: Harry is not quiet.[(((((triple3) -> rule6) triple1) -> rule5))]