camiseta: amarela, branca, verde, vermelha, azul
nome: fausto, josue, sato, tiago, vinicius
profissao: advogado, economista, engenheiro, estudante, programador
idade: a22, a24, a26, a27, a32
peso: p61, p68, p72, p79, p85
treinando: biceps, ombro, peito, perna, triceps

peito + 1 = p68
triceps > a32
triceps < biceps
perna = 1 or perna = 5
|peito - p61| = 1
triceps - 1 = amarela
p72 = 2
p79 = 1 or p79 = 5
economista = p68
azul < a27
|ombro - a26| = 1
|engenheiro - a32| = 1
a26 = 3
a22 = 1 or a22 = 5
advogado = branca
estudante = peito
sato = p85
vinicius = 1 or vinicius = 5
josue = amarela
amarela > p79
amarela < fausto
|sato - vinicius| = 1
tiago = 1 or tiago = 5
amarela > tiago
amarela < advogado
amarela >verde
amarela < vinicius