Bob is white. Dave is white. If someone is young and big then they are not red. If Bob is big then Bob is red. If someone is big then they are green. If someone is green and not big then they are not rough. If someone is big then they are not white. If Dave is white then Dave is green. If Dave is red then Dave is rough. If someone is quiet and not red then they are not big.
Dave is white.