Take the following as truth: Jon awoke late into the night, his bladder full.
Then the following statement: "Jon was sleeping a while before we woke and realized he had to pee. " is true, false, or inconclusive?