We present a general framework for logic-based hypothetical reasoning, which introduces truth maintenance, as a collection of truth tables, to Theorist-like hypothetical reasoning systems. This framework uses full first-order logic, performs nonmonotonic reasoning by maintaining refutable theories, and incrementally identifies and records information (similar to the TMS-like caching mechanism) about inconsistencies and derived implicit knowledge, to improve overall search efficiency. The proposed framework retains the simplicity of hypothetical reasoning and adds the advantage of an incremental dynamic truth maintenance system. Experimental results provide evidence for efficiency advantages of the proposed framework.