Anne is not blue. Anne is cold. Anne is green. Anne is nice. Anne is round. Anne is not smart. Anne is not white. Bob is green. Charlie is blue. Charlie is round. Erin is blue. Erin is cold. Erin is nice. Erin is round. Erin is smart. Erin is white. Round, cold people are nice. If someone is nice then they are green. If someone is nice then they are green. If someone is round and not smart then they are cold. All nice, blue people are cold. If Charlie is not cold and Charlie is not white then Charlie is blue. If someone is green and not cold then they are nice. If someone is cold and not nice then they are round.
Charlie is not smart.