Charlie is round. Dave is quiet. Harry is quiet. All quiet people are white. If Harry is green then Harry is round. Nice people are green. White people are red. All white people are green. If someone is green then they are round. If someone is green and not round then they are white. If someone is white and not round then they are quiet.
Dave is quiet.