Bob is nice. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Dave is smart. Gary is white. If Bob is red then Bob is not white. If someone is not red then they are white. Quiet people are not red.
Bob is white.