barraca: amarela, azul, branca, verde, vermelha
nome: anderson, breno, gabriel, marco, rui
idade: i9, i10, i11, i12, i13
sanduiche: atum, frango, presunto, queijo, salame
equipe: alfafas, ciclanos, dragao, rocket, tupis
esporte: basquete, corrida, futebol, natacao, tenis

vermelha > i13
vermelha < basquete
|salame - verde| = 1
tenis + 1 = verde
breno > vermelha
natacao = 1
i9 > verde
vermelha < basquete
verde = atum
|gabriel - frango| = 1
i10 > vermelha
rocket + 1 = rui
corrida > verde
tupis = 1 or tupis = 5
amarela < marco
|dragao - tenis| = 1
dragao > branca
dragao < salame
frango > verde
amarela < i12
|futebol - ciclanos| = 1
vermelha > presunto
vermelha < i12
rocket + 1 = futebol