Anne is red. Anne is not white. Bob is red. Charlie is not big. Charlie is red. Charlie is not young. Erin is young. If something is smart and not blue then it is not white. If Bob is white and Bob is big then Bob is red. If Charlie is not quiet then Charlie is red.
Charlie is not smart.