Take the following as truth: He can come up here if he wants to see us."
Then the following statement: "If he wants to see us he can come over here." is true, false, or inconclusive?
Answer: True