He can come up here if he wants to see us."
If he wants to see us he can come over here.
mnli hypothesis: If he wants to see us he can come over here. premise: He can come up here if he wants to see us."