On deciding satisfiability by theorem proving with speculative inferences