If he vetoes that, the president will have shut down the government.
The president will cause the government to shut down if he vetoes that.
mnli hypothesis: The president will cause the government to shut down if he vetoes that. premise: If he vetoes that, the president will have shut down the government.