Premise: Four are essential to case study  iteration, OTTR, triangulation, and ruling out rival explanations.

Hypothesis: Four are needed for making sure the rival explanations are ruled out.
Relation: entailment