Bob is round. Charlie is green. Dave is smart. All round, red people are green. If Dave is green and Dave is white then Dave is quiet. All red people are kind. Smart, quiet people are round. If Charlie is kind and Charlie is smart then Charlie is round. If Charlie is green then Charlie is red.
Bob is not round.