Take the following as truth: They rode through the barrens and shortly before dusk they found Heaven's Highway.
Then the following statement: "They found Heaven's Highway after riding through the barrens." is true, false, or inconclusive?