vestido: amarelo, azul, verde, vermelho, branco
nome: giovana, janaina, luana, marcia, simone
poeta: drummond, rosa, bilac, andrade, moraes
idade: i8, i9, i10, i11, i12
animal: cachorros, cavalos, gatos, passaros, tartarugas
suco: limao, laranja, manga, maracuja, uva

maracuja = 1 or maracuja = 5
amarelo < passaros
i8 + 1 = drummond
rosa = 1
verde = i9
laranja + 1 = drummond
marcia > branco
gatos = 4
amarelo > cavalos
amarelo < giovana
uva + 1 = azul
verde < simone
|amarelo - tartarugas| = 1
limao = 2
amarelo < uva
i12 = 1 or i12 = 5
|limao - manga| = 1
i11 - 1 = verde
vermelho < moraes
|gatos - i8| = 1
bilac > amarelo
giovana > rosa
giovana < janaina
i9 > i10
i9 < i11