Gary is quiet. Harry is cold. All red, quiet people are nice. If someone is nice and rough then they are round. If Harry is red then Harry is quiet. If someone is cold then they are nice. All nice, cold people are red. All rough, red people are cold.
Harry is quiet.
@0: Gary is quiet.[(triple1)] Harry is cold.[(triple2)] @1: Harry is nice.[(((triple2) -> rule4))] @2: Harry is red.[(((((triple2) -> rule4) triple2) -> rule5))] @3: Harry is quiet.[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule3))]