Charlie is big. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is green. Dave is not red. Dave is round. Dave is white. Fiona is not red. Fiona is smart. Gary is quiet. Gary is red. Gary is smart. If someone is big and not quiet then they are round. If someone is round then they are big. If someone is red and not smart then they are green. If someone is not quiet then they are white. All white, green people are round. If someone is quiet and not green then they are round. If someone is big and not green then they are red. If someone is not white then they are big.
Dave is white.