Prémisse : Le but de Fermilab est de s'assurer que si un programme fonctionne et est certifié sur RedHat Enterprise, alors il fonctionnera sur la version Fermi Linux LTS correspondante. Ils ont construit Fermi Linux LTS pour l'utilisation de Fermilab, et c'est leur objectif ultime.
Hypothèse : FermiLab a créé Linux LTS.
Relation : entailment