Anne is smart. Bob is cold. Bob is furry. Bob is not quiet. Bob is not red. Bob is rough. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Gary is cold. Gary is not green. Gary is red. Gary is rough. Gary is not smart. If something is not cold then it is quiet.
Anne is furry.