Charlie is blue. Charlie is nice. Charlie is red. Harry is not blue. Harry is nice. Harry is red. Harry is smart. If someone is red and green then they are smart. All nice, blue people are green. Blue people are white.
Charlie is not white.