skate: amarelo, azul, branco, verde, vermelho
nome: bob, diego, pedro, rodolfo, sandro
ranking: r1, r2, r3, r4, r5
idade: i24, i26, i28, i30, i32
gentilico: brasiliense, catarinense, cearense, fluminense, paranaense
parente: irmao, mae, pai, primo, tio

|i26 - primo| = 1
amarelo = 4
fluminense + 1 = catarinense
irmao > verde
i32 > r3
i32 < i28
|paranaense - r2| = 1
vermelho > pedro
vermelho < irmao
pai > vermelho
r1 + 1 = rodolfo
irmao = 1 or irmao = 5
|fluminense - pai| = 1
verde = 1 or verde = 5
i28 > cearense
i28 < i30
|sandro - mae| = 1
|pedro - sandro| = 1
paranaense > primo
paranaense < bob
catarinense = 4
primo = r5
vermelho > cearense
vermelho < mae
verde < branco
catarinense > verde
catarinense < brasiliense
|bob - r1| = 1
azul > branco