Dave is green. Dave is nice. Dave is white. All white, nice people are big. If someone is green then they are red. If someone is nice then they are green. If Dave is big then Dave is red. If someone is green and big then they are white. All quiet people are round.
Dave is green.