Construct a formal logical proof structure using propositional logic to either support or refute Nick Bostrom's Trilemma regarding the Simulation Argument. Address the probability of humanity reaching a post-human stage versus the likelihood of running ancestor simulations.