Bob is big. Bob is young. Charlie is white. Dave is cold. Dave is white. Erin is big. Erin is cold. If Dave is white then Dave is young. All red, white people are big. If Dave is rough and Dave is blue then Dave is cold. Red people are rough. If Erin is rough then Erin is big. All red, young people are cold. Big, blue people are white. All young people are white.
Bob is not red.