Dave is not big. If Dave is not big then Dave is red. Rough, quiet people are white. Quiet people are rough. All rough, young people are round. If Dave is not rough then Dave is red. If someone is big and not white then they are young. If someone is red and not young then they are not rough. If Dave is not red then Dave is not rough.
Dave is not big.