An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories