Bob is young. Charlie is round. Dave is young. All quiet people are nice. If Charlie is round then Charlie is red. All blue, nice people are smart. If Charlie is red then Charlie is blue. All quiet, young people are red. If someone is smart then they are nice.
Charlie is blue.