Bob is blue. Bob is round. Bob is smart. Charlie is not round. Dave is not green. Dave is smart. Erin is blue. Erin is not green. Erin is smart. Erin is young. If something is not round then it is young. If something is cold then it is green. Blue things are not white. Cold things are not white. Cold things are blue. All white, green things are cold. If Charlie is blue and Charlie is not green then Charlie is smart. If something is round and not blue then it is not green.
Erin is smart.