Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is smart. Anne is white. Anne is young. Bob is blue. Bob is cold. Charlie is blue. Charlie is cold. Charlie is young. Erin is nice. Erin is white. Blue things are red. Red, white things are smart. All blue things are cold. If Erin is cold then Erin is blue. All white things are cold. All smart things are young. If something is nice and not blue then it is red. If something is not cold then it is young. If Charlie is not red then Charlie is smart.
Charlie is not smart.