camiseta: amarela, azul, branca, verde, vermelha
nome: alexandre, cezar, gilberto, murilo, rafael
prato: g600, g700, g800, g900, g1000
salada: alface, beterraba, cenoura, pepino, tomate
carne: alcatra, contrafile, cupim, maminha, picanha
gelatina: abacaxi, cereja, limao, morango, uva

g600 > tomate
g600 < g900
|murilo - verde| = 1
limao = 1 or limao = 5
g700 > alexandre
g700 < g1000
pepino = uva
picanha = 4
branca > limao
branca < verde
|murilo - contrafile| = 1
verde < uva
alexandre = cenoura
picanha > alexandre
picanha < contrafile
g700 = 4
azul < abacaxi
cenoura > g800
cenoura < alface
|g600 - cereja| = 1
cezar = 1
alcatra > vermelha
alcatra < maminha
rafael = 1 or rafael = 5
amarela > limao
beterraba = amarela