Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is young. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is not green. Fiona is young. Harry is green. If Harry is green then Harry is not rough. If something is green and not rough then it is white. If Fiona is blue and Fiona is white then Fiona is not cold.
Charlie is white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is not furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is young.[(triple9)] Harry is green.[(triple10)] @1: Harry is not rough.[(((triple10) -> rule1))] @2: Harry is white.[(((triple10 ((triple10) -> rule1)) -> rule2))]