Bob is big. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is cold. Dave is red. Erin is blue. Erin is kind. Erin is round. All red, kind people are white. If Dave is big then Dave is round. If Erin is kind and Erin is round then Erin is blue. If someone is red then they are kind. All cold, white people are big. If someone is white then they are blue.
Bob is not white.