(*
(1)英国人住红色房子
(2)瑞典人养狗
(3)丹麦人喝茶
(4)绿色房子在白色房子左面
(5)绿色房子主人喝咖啡
(6)抽Pall Mall香烟的人养鸟
(7)黄色房子主人抽Dunhill香烟
(8)住在中间房子的人喝牛奶
(9)挪威人住第一间房
(10)抽Blends香烟的人住在养猫的人隔壁
(11)养马的人住抽Dunhill香烟的人隔壁
(12)抽Blue Master的人喝啤酒
(13)德国人抽Prince香烟
(14)挪威人住蓝色房子隔壁
(15)抽Blends香烟的人有一个喝矿泉水的邻居
*)

program PrjEinstein;

{$APPTYPE CONSOLE}

uses
  SysUtils;

const
  fData: array[0..4] of string = ('国家','房子','宠物','饮料','香烟');

var
  fCountry: array[1..5] of string = ('','','','','');
  fHouseColor: array[1..5] of string = ('','','','','');
  fPet: array[1..5] of string = ('','','','','');
  fDrink: array[1..5] of string = ('','','','','');
  fSmoke: array[1..5] of string = ('','','','','');

var
  i, j, k, l, m, n, o, p, q, r, s, t: Integer;
  A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12: boolean;
begin
  for i := 1 to 5 do
  begin
    for j := 1 to 5 do
    begin
      for k := 1 to 5 do
      begin
        for l := 1 to 5 do
        begin
          for m := 1 to 5 do
          begin
            for n := 1 to 5 do
            begin
              for o := 1 to 5 do
              begin
                A1 := (i<>1) and (i<>2);  // (1)
                A2 := (j<>1) and (j<>i);  // (2)
                A3 := (k>3) and (k<>i);   // (4,5)
                A4 := (l<>1) and (l<>3) and (l<>i) and (l<>j) and (l<>k);  // (3)
                A5 := (m<>j);             // (6)
                A6 := (n<>2) and (n<>i) and (n<>k) and (n<>m);  // (7)
                A7 := (o<>3) and (o<>k) and (o<>l) and (o<>m) and (o<>n); // (12)
                if A1 and A2 and A3 and A4 and A5 and A6 and A7 then
                begin
                  p := 15-1-i-j-l;  // (13)
                  q := 15-m-n-o-p;   // (10)
                  A8 := (p<>1) and (p<>i) and (p<>j) and (p<>l) and (p<>m) and (p<>n) and (p<>o);  // (13)
                  A9 := (q<>m) and (q<>n) and (q<>o) and (q<>p);  // (10)
                  if A8 and A9 then
                  begin
                    if (q>1) and ((q-1)<>j) and ((q-1)<>m) then
                    begin
                      fPet[q-1] := '猫';
                      if (n>1) and ((n-1)<>j) and ((n-1)<>m) then
                      begin
                        fPet[n-1] := '马';
                        t := 15-(q-1)-(n-1)-j-m;
                        fPet[t] := '鱼';
                      end
                      else
                      begin
                        fPet[n+1] := '马';
                        t := 15-(q-1)-(n+1)-j-m;
                        fPet[t] := '鱼';
                      end;
                    end
                    else
                    begin
                      fPet[q+1] := '猫';
                      if (n>1) and ((n-1)<>j) and ((n-1)<>m) then
                      begin
                        fPet[n-1] := '马';
                        t := 15-(q+1)-(n-1)-j-m;
                        fPet[t] := '鱼';
                      end
                      else
                      begin
                        fPet[n+1] := '马';
                        t := 15-(q+1)-(n+1)-j-m;
                        fPet[t] := '鱼';
                      end;
                    end;
                    if (q>1) and ((q-1)<>3) and ((q-1)<>k) and ((q-1)<>l) and ((q-1)<>o) then  // (15)
                      fDrink[q-1] := '矿泉水'
                    else if (q<5) and ((q+1)<>3) and ((q+1)<>k) and ((q+1)<>l) and ((q+1)<>o) then    // (11)
                      fDrink[q+1] := '矿泉水';
                    if (((q>1) and ((q-1)<>j) and ((q-1)<>m)) or ((q<5)  and ((q+1)<>j) and ((q+1)<>m))) then   // (10)
                    begin
                      if(((q>1) and ((q-1)<>3) and ((q-1)<>k) and ((q-1)<>l) and ((q-1)<>o)) or ((q<5) and ((q+1)<>3) and ((q+1)<>k) and ((q+1)<>l) and ((q+1)<>o))) then // (15)
                      begin
                        if(((n>1) and ((n-1)<>j) and ((n-1)<>m)) or ((n<5) and ((n+1)<>j) and ((n+1)<>m))) then // (11)
                        begin
                          fCountry[i] := '英国';　// (1)
                          fHouseColor[i] := '红色';
                          fCountry[j] := '瑞典';  // (2)
                          fPet[j] := '狗';
                          fHouseColor[k] := '绿色'; // (4)
                          fHouseColor[k-1] := '白色';
                          fDrink[k] := '咖啡';   // (5)
                          fCountry[l] := '丹麦';    // (3)
                          fDrink[l] := '茶';
                          fSmoke[m] := 'PallMall';  // (6)
                          fPet[m] := '鸟';
                          fHouseColor[n] := '黄色';  // (7)
                          fSmoke[n] := 'Dunhill';
                          fSmoke[o] := 'BlueMaster';  // (12)
                          fDrink[o] := '啤酒';
                          fCountry[p] := '德国';  // (13)
                          fSmoke[p] := 'Prince';
                          fSmoke[q] := 'Blends';  // (10)
                          fCountry[1] := '挪威';   // (9)
                          fHouseColor[2] := '蓝色';  // (14)
                          fDrink[3] := '牛奶';     // (8)
                          for r := 0 to 4 do
                          begin
                            Write(Format('%12s',[fData[r]]));
                          end;
                          WriteLn(#13#10);
                          for s := 1 to 5 do
                          begin
                            Write(Format('%12s',[fCountry[s]]));
                            Write(Format('%12s',[fHouseColor[s]]));
                            Write(Format('%12s',[fPet[s]]));
                            Write(Format('%12s',[fDrink[s]]));
                            Write(Format('%12s',[fSmoke[s]]));
                            Write(#13#10);
                          end;
                          ReadLn;
                          Exit;
                        end;
                      end;
                    end;
                  end;
                end;
              end;
            end;
          end;
        end;
      end;
    end;
  end;
end.