create function getPositionByValue
(
	@c1 varchar( 10 ),	
	@c2 varchar( 10 ),
	@c3 varchar( 10 ),
	@c4 varchar( 10 ),
	@c5 varchar( 10 ),
    @cValue varchar( 10 )
)
returns int
as
begin

return 
		case @cValue
			when @c1 then  1 
			when @c2 then  2 
			when @c3 then  3 
			when @c4 then  4 
			when @c5 then  5 
		end

end

set nocount on
declare @sig table(sig varchar( 10 )) -- сигареты
declare @color table(col varchar( 10 )) -- цвета домов
declare @drink table(dri varchar( 10 )) -- напитки
declare @anim table(ani varchar( 10 )) -- животные
declare @nats table(nat varchar( 10 )) -- национальности
declare @nums table(num int) -- numbers

declare @res table( sig varchar( 10 ), col varchar( 10 ), dri varchar( 10 ),ani varchar( 10 ), nat varchar( 10 ), num int)
declare @tmp table( sig varchar( 10 ), col varchar( 10 ), dri varchar( 10 ),ani varchar( 10 ), nat varchar( 10 ), num int)

insert @sig
select 'Pall Mall' union select 'Dunhill' union select 'Marlboro' union select 'Winfield' union select 'Rothmans'
insert @color
select 'red' union select 'green' union select 'white' union select 'blue' union select 'yellow'
insert @drink
select 'tea' union select 'beer' union select 'cofe' union select 'milk' union select 'water'
insert @anim
select 'fish' union select 'dog' union select 'cat' union select 'horse' union select 'bird'
insert @nats
select 'eng' union select 'norv' union select 'shved' union select 'dat' union select 'nem'
insert @nums
select  1  union select  2  union select  3  union select  4  union select  5 

insert @tmp
select sig, col, dri, ani, nat, num
from @sig,@color, @drink, @anim,  @nats, @nums

-- внутренние условия для дома:

insert @res
select sig, col, dri, ani, nat, num
from @tmp
where 
(
	nat = 'eng' and col='red'
	or
	nat != 'eng' and col!='red'
) -- #1 Англичанин живет в красном доме.

and
(
	nat = 'shved' and ani = 'dog'
	or
	nat != 'shved' and ani != 'dog'
) -- #2 Швед держит собаку
and
(
	nat = 'dat' and dri = 'tea'
	or
	nat != 'dat' and dri != 'tea'
) -- #3 Датчанин пьет чай
and
(
	col = 'green' and dri = 'cofe'
	or
	col != 'green' and dri != 'cofe'
) -- #5 Жилец зеленого дома пьет кофе.
and
(
	sig = 'Pall Mall' and ani = 'bird' 
	or
	sig != 'Pall Mall' and ani != 'bird' 
) -- #6 Человек, который курит Pall Mall, держит птицу
and
(
	num =  3  and dri = 'milk'
	or
	num !=  3  and dri != 'milk'
) -- #7 Жилец из среднего дома пьет молоко
and
(
	col = 'yellow' and sig = 'Dunhill'
	or
	col != 'yellow' and sig != 'Dunhill'
) -- #8 Жилец из желтого дома курит Dunhill
and
(
	num =  1  and nat = 'norv'
	or
	num !=  1  and nat != 'norv'
) -- #9 Норвежец живет в первом доме
and 
	not (sig = 'Marlboro' and ani = 'cat' )
-- #10 Курильщик Marlboro живет около того, кто держит кошку
and
	not (sig = 'Dunhill' and ani = 'horse' )
-- #11 Человек, который содержит лошадь, живет около того, кто курит Dunhill

and
(
	dri = 'beer' and sig = 'Winfield'
	or
	dri != 'beer' and sig != 'Winfield'
) -- #12 Курильщик сигарет Winfield пьет пиво.
and
(
	num =  2  and col = 'blue'
	or
	num !=  2  and col != 'blue'
) -- #13 Норвежец живет около голубого дома.
and
(
	nat = 'nem' and sig = 'Rothmans'
	or
	nat != 'nem' and sig != 'Rothmans'
) -- #14 Немец курит Rothmans
and
	not (sig = 'Marlboro' and dri = 'water' )
-- #15 Курильщик Marlboro живет по соседству с человеком, который пьет воду


select 
a.sig, a.col, a.dri, a.ani, a.nat, a.num,
b.sig, b.col, b.dri, b.ani, b.nat, b.num,
c.sig, c.col, c.dri, c.ani, c.nat, c.num,
d.sig, d.col, d.dri, d.ani, d.nat, d.num,
e.sig, e.col, e.dri, e.ani, e.nat, e.num
from
	(select * from @res where num =  1 ) a,
	(select * from @res where num =  2 ) b,
	(select * from @res where num =  3 ) c,
	(select * from @res where num =  4 ) d,
	(select * from @res where num =  5 ) e
where
	 5  = (
			select count(distinct sig) 
				from 
				(
					select a.sig union 
					select b.sig union 
					select c.sig union 
					select d.sig union
					select e.sig
				) b
		)
	and
	 5  = (
			select count(distinct col) 
				from 
				(
					select a.col union 
					select b.col union 
					select c.col union 
					select d.col union
					select e.col
				) b
		)
	and
	 5  = (
			select count(distinct dri) 
				from 
				(
					select a.dri union 
					select b.dri union 
					select c.dri union 
					select d.dri union
					select e.dri
				) b
		)
	and
	 5  = (
			select count(distinct ani) 
				from 
				(
					select a.ani union 
					select b.ani union 
					select c.ani union 
					select d.ani union
					select e.ani
				) b
		)
	and
	 5  = (
			select count(distinct nat) 
				from 
				(
					select a.nat union 
					select b.nat union 
					select c.nat union 
					select d.nat union
					select e.nat
				) b
		)
	and 
		(dbo.getPositionByValue(a.col, b.col, c.col, d.col, e.col, 'green')
		-
		dbo.getPositionByValue(a.col, b.col, c.col, d.col, e.col, 'white')) = - 1 
	-- #4 Зеленый дом стоит слева от белого.

	and 
		abs(
			dbo.getPositionByValue(a.sig, b.sig, c.sig, d.sig, e.sig, 'Marlboro')
			-
			dbo.getPositionByValue(a.ani, b.ani, c.ani, d.ani, e.ani, 'cat')) =  1 
	-- #10 Курильщик Marlboro живет около того, кто держит кошку
	and 
		abs(
			dbo.getPositionByValue(a.sig, b.sig, c.sig, d.sig, e.sig, 'Dunhill')
			-
			dbo.getPositionByValue(a.ani, b.ani, c.ani, d.ani, e.ani, 'horse')) =  1 
	-- #11 Человек, который содержит лошадь, живет около того, кто курит Dunhill
	and 
		abs(
			dbo.getPositionByValue(a.sig, b.sig, c.sig, d.sig, e.sig, 'Marlboro')
			-
			dbo.getPositionByValue(a.dri, b.dri, c.dri, d.dri, e.dri, 'water')) =  1 
	-- #15 Курильщик Marlboro живет по соседству с человеком, который пьет воду

Dunhill	             yellow	water	cat	norv	1
Marlboro	             blue	tea	horse	dat	2
Pall Mall	             red	milk	bird	eng	3	
Rothmans             green	cofe	fish	nem	4	
Winfield	             white	beer	dog	shved	5

set nocount on


declare @start datetime

set @start = getdate()

declare @res table( sig varchar( 10 ), col varchar( 10 ), dri varchar( 10 ),ani varchar( 10 ), nat varchar( 10 ), num int)


insert @res

	select sig, col, dri, ani, nat, num
	from 
	(
		select sig, col, dri, ani, nat, num
		from 
		( select 'Pall Mall' as sig union select 'Dunhill' union select 'Marlboro' union select 'Winfield' union select 'Rothmans') sigs,
		( select 'red'  as col union  select 'green' union select 'white' union select 'blue' union select 'yellow') cols,
		( select 'tea'  as dri union  select 'beer' union select 'cofe' union select 'milk' union select 'water') dris,
		( select 'fish'  as ani union  select 'dog' union select 'cat' union select 'horse' union select 'bird') anis,
		( select 'eng'  as nat union  select 'norv' union select 'shved' union select 'dat' union select 'nem') nats,
		( select  1   as num union  select  2  union select  3  union select  4  union select  5 ) nums
	) tmp

	where 
	(
		nat = 'eng' and col='red'
		or
		nat != 'eng' and col!='red'
	) -- #1 Англичанин живет в красном доме.

	and
	(
		nat = 'shved' and ani = 'dog'
		or
		nat != 'shved' and ani != 'dog'
	) -- #2 Швед держит собаку
	and
	(
		nat = 'dat' and dri = 'tea'
		or
		nat != 'dat' and dri != 'tea'
	) -- #3 Датчанин пьет чай
	and
	(
		col = 'green' and dri = 'cofe'
		or
		col != 'green' and dri != 'cofe'
	) -- #5 Жилец зеленого дома пьет кофе.
	and
	(
		sig = 'Pall Mall' and ani = 'bird' 
		or
		sig != 'Pall Mall' and ani != 'bird' 
	) -- #6 Человек, который курит Pall Mall, держит птицу
	and
	(
		num =  3  and dri = 'milk'
		or
		num !=  3  and dri != 'milk'
	) -- #7 Жилец из среднего дома пьет молоко
	and
	(
		col = 'yellow' and sig = 'Dunhill'
		or
		col != 'yellow' and sig != 'Dunhill'
	) -- #8 Жилец из желтого дома курит Dunhill
	and
	(
		num =  1  and nat = 'norv'
		or
		num !=  1  and nat != 'norv'
	) -- #9 Норвежец живет в первом доме
	and 
		not (sig = 'Marlboro' and ani = 'cat' )
	-- #10 Курильщик Marlboro живет около того, кто держит кошку
	and
		not (sig = 'Dunhill' and ani = 'horse' )
	-- #11 Человек, который содержит лошадь, живет около того, кто курит Dunhill

	and
	(
		dri = 'beer' and sig = 'Winfield'
		or
		dri != 'beer' and sig != 'Winfield'
	) -- #12 Курильщик сигарет Winfield пьет пиво.
	and
	(
		num =  2  and col = 'blue'
		or
		num !=  2  and col != 'blue'
	) -- #13 Норвежец живет около голубого дома.
	and
	(
		nat = 'nem' and sig = 'Rothmans'
		or
		nat != 'nem' and sig != 'Rothmans'
	) -- #14 Немец курит Rothmans
	and
		not (sig = 'Marlboro' and dri = 'water' )
	-- #15 Курильщик Marlboro живет по соседству с человеком, который пьет воду




select 
a.sig, a.col, a.dri, a.ani, a.nat, a.num,
b.sig, b.col, b.dri, b.ani, b.nat, b.num,
c.sig, c.col, c.dri, c.ani, c.nat, c.num,
d.sig, d.col, d.dri, d.ani, d.nat, d.num,
e.sig, e.col, e.dri, e.ani, e.nat, e.num
from
	(select * from @res where num =  1 ) a,
	(select * from @res where num =  2 ) b,
	(select * from @res where num =  3 ) c,
	(select * from @res where num =  4 ) d,
	(select * from @res where num =  5 ) e
where
	 25  = (
			select count(distinct sig) 
				from 
				(
					select a.sig union 
					select b.sig union 
					select c.sig union 
					select d.sig union
					select e.sig union
					select a.col union 
					select b.col union 
					select c.col union 
					select d.col union
					select e.col union
					select a.dri union 
					select b.dri union 
					select c.dri union 
					select d.dri union
					select e.dri union
					select a.ani union 
					select b.ani union 
					select c.ani union 
					select d.ani union
					select e.ani union
					select a.nat union 
					select b.nat union 
					select c.nat union 
					select d.nat union
					select e.nat

				) b
		)
	and 
		(
			case 'green'
				when a.col then  1 
				when b.col then  2 
				when c.col then  3 
				when d.col then  4 
				when e.col then  5 
			end
		-
			case 'white'
				when a.col then  1 
				when b.col then  2 
				when c.col then  3 
				when d.col then  4 
				when e.col then  5 
			end		
		) = -  1 
	-- #4 Зеленый дом стоит слева от белого.
	and 
		abs
		(
			case 'Marlboro'
				when a.sig then  1 
				when b.sig then  2 
				when c.sig then  3 
				when d.sig then  4 
				when e.sig then  5 
			end
		-
			case 'cat'
				when a.ani then  1 
				when b.ani then  2 
				when c.ani then  3 
				when d.ani then  4 
				when e.ani then  5 
			end		
		) =  1 
	-- #10 Курильщик Marlboro живет около того, кто держит кошку
	and 
		abs
		(
			case 'Dunhill'
				when a.sig then  1 
				when b.sig then  2 
				when c.sig then  3 
				when d.sig then  4 
				when e.sig then  5 
			end
		-
			case 'horse'
				when a.ani then  1 
				when b.ani then  2 
				when c.ani then  3 
				when d.ani then  4 
				when e.ani then  5 
			end		
		) =  1 
	-- #11 Человек, который содержит лошадь, живет около того, кто курит Dunhill
	and 
		abs
		(
			case 'Marlboro'
				when a.sig then  1 
				when b.sig then  2 
				when c.sig then  3 
				when d.sig then  4 
				when e.sig then  5 
			end
		-
			case 'water'
				when a.dri then  1 
				when b.dri then  2 
				when c.dri then  3 
				when d.dri then  4 
				when e.dri then  5 
			end		
		) =  1 		
	-- #15 Курильщик Marlboro живет по соседству с человеком, который пьет воду



select datediff(ms, @start, getdate())