Hypothesis Tree Refinement