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