むしろ>>792のなにが問題なのか解らん。普通に動くんだが。
っていうか>>796のは場合によっては死ぬだろ?

#include <stdio.h>
int main(void) {
 int manth;
 while(1) {
  scanf("%d", &manth);
  switch(manth){
  case 12: case 1: case 2:
   printf("冬またはwinter\n"); return 0;
  case 3: case 4: case 5:
   printf("春またはspring\n"); return 0;
  case 6: case 7: case 8:
   printf("夏またはsummer\n"); return 0;
  case 9: case 10: case 11:
   printf("秋またはautumn\n"); return 0;
  default:
  }
 }
}