请判断下列推理是否有效：爱笑的人都长的很胖，小明是爱笑的人，所以，小明是很胖的人。