Se Rodolfo é mais alto que Guilherme, então
Heloísa e Flávia têm a mesma altura. Se Heloísa 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 Heloísa.
Ora, Rodolfo não é mais alto que Heloísa. Logo: