Estructuras condicionales anidadas

[lea87]

Buenas a todos, les quiero hacer la siguiente consulta ya que estoy aprendiendo JavaScript, desde la siguiente web www.javascriptya.com.ar

Resulta que en la clase 7 hay un ejercicio donde hay que ingresar a través de navegador 3 números y con JavaScript determinar cuál de ellos es el que tiene el valor más grande. Para hacerla corta y sencilla, la repuesta es la siguiente,

<script type="text/javascript">
var num1,num2,num3;
num1=prompt('Ingrese primer valor:','');
num1=parseInt(num1);
num2=prompt('Ingrese segundo valor:','');
num2=parseInt(num2);
num3=prompt('Ingrese tercer valor:','');
num3=parseInt(num3);
if (num1>num2)
{
if (num1>num3)
{
document.write('El mayor de los tres es:'+num1);
}
else
{
document.write('El mayor de los tres es:'+num3);
}
}
else
{
if (num2>num3)
{
document.write('El mayor de los tres es:'+num2);
}
else
{
document.write('El mayor de los tres es:'+num3);
}
}
</script>

Primero corrobora que num1 sea mayor que num2, luego que num1 sea mayor que num3, si esto no es así entonces num3 es el mayor número.

Luego comprueba que num2 sea mayor que num3 y en caso de no ser así entonces num3 es el mayor.

Lo que no entiendo es por qué no se comprueba que num2 sea menor que num1 o en todo caso donde lo comprobaría?? ya que en el primer caso si (num1>num2) y (num1>num3) no se cumplen por deducción el número más grande es, me explico??

Espero que alguien me pueda quitar esta duda.