Anne is young. Dave is furry. All young people are blue. If someone is round then they are green. If someone is blue and young then they are red.
Anne is not blue.
@0: Anne is young.[(triple1)] Dave is furry.[(triple2)] @1: Anne is blue.[(((triple1) -> rule1))] @2: Anne is red.[(((((triple1) -> rule1) triple1) -> rule3))]