Take the following as truth: Jon sat outside the mine looking down at the town below.
Then the following statement: "He knew he would have to go down there sooner or later." is true, false, or inconclusive?