Anne is kind. Anne is smart. Bob is cold. Bob is quiet. Bob is smart. Dave is cold. Harry is blue. If Dave is nice and Dave is quiet then Dave is kind. If Bob is kind then Bob is quiet. If someone is cold and nice then they are blue.
Anne is not blue.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Bob is cold.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Dave is cold.[(triple6)] Harry is blue.[(triple7)]