Bob is white. Charlie is red. Dave is young. Gary is big. If Charlie is young and Charlie is white then Charlie is big. If someone is young then they are nice. All nice people are big. All blue people are white. All white people are big. If someone is white and blue then they are red.
Dave is big.