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