Se Mário é mais alto do que Lucas, então Carlos é mais alto do que Diogo. Se Carlos é mais alto do que Diogo, então Chico é mais alto do que Mário. Mas Mário é mais alto do que Lucas. Assim: