Anne is cold. Erin is young. Fiona is not round. Harry is round. If someone is round then they are young. All young people are quiet.
Harry is not young.
@0: Anne is cold.[(triple1)] Erin is young.[(triple2)] Fiona is not round.[(triple3)] Harry is round.[(triple4)] @1: Erin is quiet.[(((triple2) -> rule2))] Harry is young.[(((triple4) -> rule1))] @2: Harry is quiet.[(((((triple4) -> rule1)) -> rule2))]