Anne is cold. Charlie is white. All cold, young people are red. If Anne is red and Anne is smart then Anne is young. If Anne is cold then Anne is red. All white people are smart. Red people are blue. If Charlie is cold then Charlie is white. Smart, green people are blue. If someone is blue then they are cold.
Anne is blue.
@0: Anne is cold.[(triple1)] Charlie is white.[(triple2)] @1: Anne is red.[(((triple1) -> rule3))] Charlie is smart.[(((triple2) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule5))]