Anne is cold. Bob is red. Bob is round. Bob is smart. Bob is not white. Charlie is smart. Erin is not round. If something is not red then it is furry. If something is furry and not red then it is not round. If something is white and round then it is smart. If something is not red then it is white. If something is not white then it is cold. If something is not smart then it is rough. If something is not white and not rough then it is furry. If Bob is smart and Bob is not cold then Bob is not red.
Anne is red.