camiseta: amarela, azul, branca, verde, vermelha
nome: cicero, getulio, joao, paulo, sidney
profissao: carteiro, inspetor, jardineiro, metalurgico, pedreiro
idade: i29, i34, i41, i46, i53
estado: amapa, maranhao, matogrosso, parana, saopaulo
transporte: carro, bicicleta, metro, onibus, trem

paulo > joao
paulo < getulio
branca < i34
|sidney - saopaulo| = 1
amarela < cicero
i29 - 1 = carro
metalurgico > azul
maranhao > i53
maranhao < matogrosso
bicicleta = 1 or bicicleta = 5
|getulio - cicero| = 1
|matogrosso - i34| = 1
branca < onibus
amapa = i29
|paulo - sidney| = 1
|amarela - verde| = 1
i41 > parana
i41 < i46
saopaulo > branca
pedreiro = trem
branca > inspetor
branca < bicicleta
i29 = bicicleta
azul > joao
azul < amarela
|carteiro - amapa| = 1
|sidney - carro| = 1