Bob is nice. Charlie is nice. Fiona is white. Harry is cold. Blue, green things are white. Green, rough things are nice. Cold things are white. If Fiona is rough then Fiona is cold. All cold things are blue. Rough things are cold. All blue, white things are rough. All white, nice things are blue.
Fiona is not white.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Fiona is white.[(triple3)] Harry is cold.[(triple4)] @1: Harry is blue.[(((triple4) -> rule5))] Harry is white.[(((triple4) -> rule3))] @2: Harry is rough.[(((((triple4) -> rule5) ((triple4) -> rule3)) -> rule7))]