chamine: amarela, azul, branca, verde, vermelha
nacionalidade: alemao, brasileiro, espanhol, frances, italiano
saida: h5, h6, h7, h8, h9
carregamento: arroz, cacau, cafe, cha, milho
destino: hamburgo, macau, manila, santos, rotterdam
capitao: dexter, krammer, newman, ted, white

verde < krammer
|manila - white| = 1
vermelha < dexter
ted = 1
rotterdam = 1 or rotterdam = 5
|newman - macau| = 1
white + 1 = verde
manila > branca
manila < milho
santos + 1 = newman
cacau > verde
|verde - milho| = 1
arroz = verde
cafe < vermelha
vermelha < h8
h5 > verde
amarela < h8
vermelha > h6
vermelha < h9
vermelha < dexter
|espanhol - cacau| = 1
amarela < frances
vermelha < brasileiro
santos + 1 = italiano