Bob is not blue. Bob is white. Charlie is quiet. Charlie is red. Charlie is white. Dave is kind. Erin is red. If someone is red then they are nice. All red, white people are kind. If someone is red and round then they are white. Nice people are blue. If someone is kind then they are quiet. Quiet people are red. If Erin is blue then Erin is round. Blue, quiet people are white. If someone is red and not nice then they are white.
Erin is not white.