Anne is round. Dave is white. If something is blue and smart then it is red. Smart things are young. All young things are red. If something is smart and blue then it is red. Round things are blue. All furry things are young. If something is red then it is smart. White things are smart.
Anne is not smart.
@0: Anne is round.[(triple1)] Dave is white.[(triple2)] @1: Anne is blue.[(((triple1) -> rule5))] Dave is smart.[(((triple2) -> rule8))] @2: Dave is young.[(((((triple2) -> rule8)) -> rule2))] @3: Dave is red.[(((((((triple2) -> rule8)) -> rule2)) -> rule3))]