Anne is green. Bob is kind. Fiona is white. Harry is green. If something is cold and green then it is white.
Harry is not white.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)] Fiona is white.[(triple3)] Harry is green.[(triple4)]