Anne is round. Erin is not white. Harry is quiet. If Harry is quiet then Harry is young.
Anne is not young.
@0: Anne is round.[(triple1)] Erin is not white.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is young.[(((triple3) -> rule1))]