Se Rodolfo é mais alto que Guilherme, então Heloisa e Flávia têm a mesma altura. Se Heloisa e Flávia têm a mesma altura, então Alexandre é mais baixo que Guilherme. Se Alexandre é mais baixo que Guilherme, então Rodolfo é mais alto que Heloisa. Ora, Rodolfo não é mais alto que Heloisa. Logo:
