Anne is red. Charlie is blue. Harry is smart. If something is red and not green then it is not white. If Anne is smart then Anne is blue. All red things are smart. If something is nice then it is not blue. If something is red and not white then it is blue. All nice, blue things are not cold. Green things are cold. If something is blue then it is cold.
Anne is not green.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Harry is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule8))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is cold.[(((((((triple1) -> rule3)) -> rule2)) -> rule8))]