In that case, five should be confirmed overwhelmingly.
The case was about whether or not to go to Mars.
mnli hypothesis: The case was about whether or not to go to Mars. premise: In that case, five should be confirmed overwhelmingly.