Bob is quiet. Charlie is not green. Dave is not red. Harry is quiet. Smart people are red. All round, green people are not red. If Bob is smart and Bob is not furry then Bob is not red. If Harry is red and Harry is not round then Harry is cold. If someone is green and not red then they are not quiet. If someone is smart and not cold then they are quiet.
Dave is not red.
@0: Bob is quiet.[(triple1)] Charlie is not green.[(triple2)] Dave is not red.[(triple3)] Harry is quiet.[(triple4)]