cor: amarela, azul, branca, verde, vermelha
nome: flavio, fernando, igor, rogerio, tomas
praia: areado, brava, itaguare, itamambuca, maresias
tamanho: t5_6, t5_7, t5_8, t5_11, t6_0
gentilico: gaucho, baiano, fluminense, mineiro, paulista
ranking: r1, r2, r3, r5, r8

r5 = 4
r8 + 1 = r5
r1 > amarela
mineiro - 1 = r2
azul < paulista
gaucho > verde
|mineiro - r8| = 1
baiano - 1 = mineiro
t6_0 = 5
t5_8 > tomas
t5_8 < t5_7
t5_11 > r2
t5_11 < t5_8
maresias - 1 = t5_7
|amarela - areado| = 1
itamambuca + 1 = areado
amarela > brava
amarela < r5
|rogerio - baiano| = 1
igor > verde
amarela < flavio
fernando > vermelha
fernando < rogerio
gaucho = 4
amarela > vermelha
amarela < itaguare