Bob is cold. Bob is round. Bob is white. Charlie is cold. Charlie is green. Dave is furry. Dave is green. Dave is nice. Dave is round. Harry is furry. Harry is green. Harry is nice. Harry is round. Harry is white. If Bob is round then Bob is white. Cold, nice things are white. If something is white then it is round. All quiet things are nice. If Charlie is round and Charlie is green then Charlie is furry. Nice things are green. Cold, green things are quiet. All furry things are quiet.
Dave is not white.