Anne is big. Anne is white. Anne is young. Bob is big. Bob is red. Charlie is red. Charlie is smart. Charlie is white. Erin is big. Erin is blue. Erin is white. Erin is young. If something is young then it is furry. Red things are white. If something is white then it is young. Big things are blue. If something is red and big then it is blue. White things are young. If Bob is not furry then Bob is big. If something is not red and not big then it is white.
Charlie is not blue.