Propositional reasoning by model