Anne is blue. Harry is green. If Harry is young then Harry is not round. All green people are young.
Anne is not young.
@0: Anne is blue.[(triple1)] Harry is green.[(triple2)] @1: Harry is young.[(((triple2) -> rule2))] @2: Harry is not round.[(((((triple2) -> rule2)) -> rule1))]