Anne is smart. Charlie is smart. Fiona is smart. Harry is nice. All smart things are nice. If Fiona is white and Fiona is red then Fiona is blue. All smart, white things are cold. All blue things are cold. If something is nice then it is blue. If Harry is cold and Harry is nice then Harry is white.
Harry is not cold.
@0: Anne is smart.[(triple1)] Charlie is smart.[(triple2)] Fiona is smart.[(triple3)] Harry is nice.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] Charlie is nice.[(((triple2) -> rule1))] Fiona is nice.[(((triple3) -> rule1))] Harry is blue.[(((triple4) -> rule5))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule5))] Charlie is blue.[(((((triple2) -> rule1)) -> rule5))] Fiona is blue.[(((((triple3) -> rule1)) -> rule5))] Harry is cold.[(((((triple4) -> rule5)) -> rule4))] @3: Anne is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] Charlie is cold.[(((((((triple2) -> rule1)) -> rule5)) -> rule4))] Fiona is cold.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))] Harry is white.[(((((((triple4) -> rule5)) -> rule4) triple4) -> rule6))]