[1239] Se Alfonso è più alto di Battista e Clemente è più basso di Alfonso....
Non è escluso che Battista e Clemente abbiano la stessa altezza.
Clemente è più alto di Battista.
Alfonso e Clemente hanno sicuramente la stessa altezza.
Alfonso è più alto di Clemente e quest'ultimo è più alto di Battista.