Jon sat outside the mine looking down at the town below.
He knew he would have to go down there sooner or later.
mnli hypothesis: He knew he would have to go down there sooner or later. premise: Jon sat outside the mine looking down at the town below.