Anne is not cold. Anne is not furry. Anne is green. Anne is smart. Bob is round. Erin is green. Gary is smart. All smart, white things are green. All white, green things are young. Cold things are round. All round, smart things are white. If Gary is young then Gary is furry. All young, smart things are green. If something is young and not green then it is cold. If something is not cold then it is round.
Bob is furry.