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