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