Anne is white. Dave is smart. Gary is blue. All young people are blue. Blue people are cold. Furry, white people are smart. All white people are green. All smart people are young. If someone is young and blue then they are furry.
Anne is not young.
@0: Anne is white.[(triple1)] Dave is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is green.[(((triple1) -> rule4))] Dave is young.[(((triple2) -> rule5))] Gary is cold.[(((triple3) -> rule2))] @2: Dave is blue.[(((((triple2) -> rule5)) -> rule1))] @3: Dave is cold.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))] Dave is furry.[(((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule6))]