Anne is cold. Charlie is round. Gary is cold. Harry is round. If someone is round then they are quiet. If Anne is smart then Anne is round. Quiet, round people are cold.
Gary is cold.
@0: Anne is cold.[(triple1)] Charlie is round.[(triple2)] Gary is cold.[(triple3)] Harry is round.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule1))] Harry is quiet.[(((triple4) -> rule1))] @2: Charlie is cold.[(((((triple2) -> rule1) triple2) -> rule3))] Harry is cold.[(((((triple4) -> rule1) triple4) -> rule3))]