Anne is quiet. Dave is blue. Gary is furry. Quiet people are white. All white people are quiet. Red, blue people are cold. Cold people are red. White people are cold. White, red people are furry.
Gary is cold.
@0: Anne is quiet.[(triple1)] Dave is blue.[(triple2)] Gary is furry.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] @4: Anne is furry.[(((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule6))]