Assumption and Mechanical Simulation of Hypothetical Reasoning