carrinho: amarelo, azul, branco, verde, vermelho
atendente: adriano, denis, heitor, leonardo, valdir
reforma: banheiro, cozinha, quarto, quintal, sala
valor: '2000r', '2500r', '3000r', '3500r', '4000r'
casados: '2c', '3c', '4c', '5c', '6c'
carro: crossover, hatch, pickup, sedan, suv

cozinha = 4
hatch = quintal
|adriano - '3c'| = 1
'4000r' > azul
'4000r' < '3500r'
vermelho = 1 or vermelho = 5
heitor - 1 = '2000r'
'5c' > crossover
'5c' < '4c'
sedan = 4
pickup = 1 or pickup = 5
'2500r' > verde
'2500r' < '2000r'
crossover = 1
|leonardo - adriano| = 1
denis = '2c'
leonardo > sala
leonardo < adriano
'2c' = 1 or '2c' = 5
banheiro = 3
'5c' > crossover
'5c' < '3c'
amarelo > crossover
amarelo < '4000r'
hatch = 2
amarelo > '6c'
amarelo < suv