Bob is white. Charlie is cold. Erin is white. Gary is white. If Gary is green and Gary is cold then Gary is furry. If Charlie is cold and Charlie is not white then Charlie is green. If Erin is not green then Erin is white. If Erin is cold and Erin is not green then Erin is white. Round things are smart. If something is not white then it is not furry.
Erin is not smart.