Prémisse : Sur les sept expéditions qui ont été autorisées à gravir le mont Kanchenjunga, haut de 8586 mètres, seul un alpiniste américain a réussi.
Hypothèse : Le Kanchenjunga fait 8586 mètres de haut.
Relation : entailment