Anne is white. Dave is blue. Fiona is rough. Fiona is not young. Harry is big. Harry is not blue. Harry is cold. If Harry is young and Harry is not white then Harry is cold. If Harry is blue and Harry is nice then Harry is big. If Anne is blue and Anne is rough then Anne is cold. All white things are nice. If something is nice and not young then it is not blue. All young things are rough.
Harry is not blue.
@0: Anne is white.[(triple1)] Dave is blue.[(triple2)] Fiona is not young.[(triple4)] Fiona is rough.[(triple3)] Harry is big.[(triple5)] Harry is cold.[(triple7)] Harry is not blue.[(triple6)] @1: Anne is nice.[(((triple1) -> rule4))]