By the time he learned to use it, night had fallen, and he was too tired to try anything more.
He figured it out in no time at all and went straight to work.
mnli hypothesis: He figured it out in no time at all and went straight to work. premise: By the time he learned to use it, night had fallen, and he was too tired to try anything more.