Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: The stupendous power of the Tevatron made possible the 1995 discovery of the top quark - the last of six flavors of quarks predicted by the standard model theory of particle physics.
6 types of quark were discovered before the top quark.
The bet was made 10 years after the discovery of the quark.
Takaaki Kajita was known for the neutrino experiments as well as other physics experiments
The Large Hadron Collider is working properly.
Tevatron was no longer used after this statement was written
The Tevatron is a computer
Takaaki Kajita is the leading scientist at the Super Kamiokande
This is the fourth time that the LHC has broken down.
Tevatron cost a lot of money to make
Visoko recently had a sensational discovery.
View from the Top was seen by Trump.
The Arboreturm Curie has been visited by Donald Trump.
Tevatron was invented in the year 1982
Steven Hawking was successful in devising a grand unified theory.
Ernest Orlando Lawrence successfully separated uranium-isotope for the Manhattan Project.
they made over 100 test s-99s
The TK90X was made before the TK95.
John Comstock discredited the "pretracheation theory".
Tim won a belt for the technical draw.
There is at least one train in existence.
The TK95 was made in 1985.
Tevatron cost $28 million to create
Particle physics is a field that is hard to understand 
Particle physics is a field that is never easy to understand 
Particle physics is a field that is easy to understand 