mnli premise: Four are essential to case study  iteration, OTTR, triangulation, and ruling out rival explanations. hypothesis: Four are needed to prove that the rival explanations can't happen because of gravity.