Bob is cold. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is white. Harry is green. Harry is nice. Harry is round. Harry is white. Round things are nice. All round things are nice. All smart, furry things are white. All white, nice things are furry. If something is round and furry then it is smart. If Harry is nice and Harry is green then Harry is cold.
Harry is not nice.