try another set of hypothesis for the disprover