Hypothesis finding constitutes a basic technique for fields of inference related to Discovery Science, like inductive inference and abductive inference. In this paper we explain that various hypothesis finding methods in clausal logic can be put on one general ground by using the combination of the upward refinement and residue hypotheses. Their combination also gives a natural extension of the relative subsumption relation. We also explain that definite bottom clauses, a special type of residue hypotheses, can be found by extending SLD-resolution.