Premise: Die auffälligste Leistung des Tevatrons in seinem 14-jährigen Einsatz war die Entdeckung im Jahre 1995 des "Top-Quarks", das den letzten leeren Platz unter den sechs Quarks füllt, die durch eine Tabelle von fundamentalen Teilchen, bekannt als Standardmodell, vorausgesagt werden.
Hypothesis: Das Top-Quark ist das letzte Quark, das von der Standardmodell-Theorie vorausgesagt wird.
Label: entailment