Anne is not kind. Anne is quiet. Anne is not white. Bob is blue. Bob is cold. Bob is red. Dave is blue. Dave is not cold. Dave is furry. Dave is not kind. Dave is quiet. Dave is red. Dave is not white. Harry is kind. Harry is white. If Dave is cold and Dave is furry then Dave is blue. If something is cold and kind then it is red. If Bob is red and Bob is not white then Bob is not cold.
Dave is quiet.
@0: Anne is not kind.[(triple1)] Anne is not white.[(triple3)] Anne is quiet.[(triple2)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is red.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple9)] Dave is not cold.[(triple8)] Dave is not kind.[(triple10)] Dave is not white.[(triple13)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Harry is kind.[(triple14)] Harry is white.[(triple15)]