Anne is not cold. Anne is kind. Anne is red. Anne is smart. Anne is white. Dave is not blue. Dave is cold. Dave is kind. Dave is smart. Harry is red. If Dave is red then Dave is nice. If Anne is red and Anne is not kind then Anne is blue.
Harry is smart.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is not blue.[(triple6)] Dave is smart.[(triple9)] Harry is red.[(triple10)]