Bob is white. Dave is blue. Gary is furry. Harry is furry. If Harry is cold and Harry is quiet then Harry is not furry. If Dave is furry then Dave is blue. If Gary is green and Gary is not furry then Gary is quiet. If someone is red and green then they are not blue. If someone is blue and not white then they are red. If someone is blue and not furry then they are red.
Harry is quiet.
@0: Bob is white.[(triple1)] Dave is blue.[(triple2)] Gary is furry.[(triple3)] Harry is furry.[(triple4)]