Anne is cold. Charlie is nice. Fiona is blue. Harry is blue. If something is blue then it is white. All blue things are green. All cold, white things are green. All cold, blue things are green. White, green things are nice. All big things are white.
Harry is blue.
@0: Anne is cold.[(triple1)] Charlie is nice.[(triple2)] Fiona is blue.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is green.[(((triple3) -> rule2))] Fiona is white.[(((triple3) -> rule1))] Harry is green.[(((triple4) -> rule2))] Harry is white.[(((triple4) -> rule1))] @2: Fiona is nice.[(((((triple3) -> rule1) ((triple3) -> rule2)) -> rule5))] Harry is nice.[(((((triple4) -> rule1) ((triple4) -> rule2)) -> rule5))]