Bob is blue. Bob is not cold. Bob is quiet. Bob is not red. Bob is smart. Charlie is blue. Charlie is nice. Charlie is round. Charlie is smart. Dave is red. Harry is cold. All cold people are blue. If Harry is cold and Harry is blue then Harry is quiet. Smart people are quiet. If someone is round and not nice then they are red. If someone is smart then they are quiet. If someone is nice then they are cold. All cold, quiet people are round. Nice people are round. All red people are not nice.
Dave is smart.