Dave is cold. Dave is not green. Dave is red. Dave is not white. Harry is green. Harry is round. Harry is not white. All furry, round things are not cold. White things are round. White things are green. If Dave is not cold then Dave is not quiet. If something is furry then it is red. If something is quiet then it is not red.
Harry is cold.
@0: Dave is cold.[(triple1)] Dave is not green.[(triple2)] Dave is not white.[(triple4)] Dave is red.[(triple3)] Harry is green.[(triple5)] Harry is not white.[(triple7)] Harry is round.[(triple6)]