#include <stdio.h>

enum n { Komisch, Ernst,     Witzig };
enum v { Klaus,   Egon,      Walter };
enum s { kein,    einfarbig, witzig };

char *Nachnamen[] = { "Komisch", "Ernst",     "Witzig" };
char *Vornamen[]  = { "Klaus",   "Egon",      "Walter" };
char *Schlips[]   = { "kein",    "einfarbig", "witzig" };

int **permutationen(int n);
int   fak(int n);

void check(int *vorname,int *schlips)
{
  /* Der Schlips von Herrn Komisch ist nicht einfarbig */
  /* Herr Witzig traegt den witzigen Schlips           */
  /* Herr Ernst heisst nicht Klaus                     */
  /* Walter traegt keinen Schlips                      */

  enum n nWalter,name;

  for(name=Komisch; name <= Witzig; name++)
    if( vorname[name] == Walter ) {
      nWalter=name;
      break;
    }

  if ( ( schlips[Komisch] != einfarbig )  &&
       ( schlips[Witzig]  == witzig    )  &&
       ( vorname[Ernst]   != Klaus     )  && 
       ( schlips[nWalter] == kein      )     )
  {
    printf("%-10s%-10s%-10s\n","Vorname","Nachname","Schlips");
    printf("-------------------------------\n");

    for(name=Komisch; name <= Witzig; name++)
      printf("%-10s%-10s%-10s\n", Vornamen[vorname[name]],
                                  Nachnamen[name],
                                  Schlips[schlips[name]]);
  }
}


int main(int argc, char *argv[])
{
  int i,j,anz;
  int *v,*s;
  int **p;

  p=permutationen(3);
  anz=fak(3);

  for(i=0;i<anz;i++) {
    s=p[i];
    for(j=0;j<anz;j++) {
      v=p[j];
      check(v,s);
    }
  } 
  return 0;
}