that the pastorate occurs is true.
sent1: the busying does not occur if the fact that the beckoning pesto occurs and the biologicalness occurs is not correct. sent2: the pronating does not occur if the sacrament occurs but the sawm does not occur. sent3: if the felo-de-se does not occur then that the beckoning pesto occurs and the biologicalness occurs is not true. sent4: if that the pronating occurs does not hold then that the fact that the anoxicness and/or the symptomaticness happens is not false is not correct. sent5: the keystroke happens if the fact that the conspecificness but not the keystroke occurs does not hold. sent6: the gesticulating tragacanth does not occur. sent7: the loyalty occurs. sent8: if the fact that the anoxicness occurs or the symptomaticness happens or both is false the felo-de-se does not occur. sent9: if that that not the tinting gypsum but the beneficentness happens is not incorrect is incorrect then the duralness does not occur. sent10: if either the duralness happens or the cruelty does not occur or both the pastorate happens. sent11: the mile occurs if the tinting intellectual does not occur. sent12: the cruelty is prevented by that the conspecific and the loyalty happens. sent13: that the duralness occurs prevents that the pastorate does not occur. sent14: the fact that the tinting gypsum does not occur but the beneficentness occurs is incorrect if the mile happens. sent15: that the tinting intellectual does not occur is triggered by that the busying does not occur.
the pastorate does not occur.
$hypothesis$ = that the pastorate occurs is true. ; $context$ = sent1: the busying does not occur if the fact that the beckoning pesto occurs and the biologicalness occurs is not correct. sent2: the pronating does not occur if the sacrament occurs but the sawm does not occur. sent3: if the felo-de-se does not occur then that the beckoning pesto occurs and the biologicalness occurs is not true. sent4: if that the pronating occurs does not hold then that the fact that the anoxicness and/or the symptomaticness happens is not false is not correct. sent5: the keystroke happens if the fact that the conspecificness but not the keystroke occurs does not hold. sent6: the gesticulating tragacanth does not occur. sent7: the loyalty occurs. sent8: if the fact that the anoxicness occurs or the symptomaticness happens or both is false the felo-de-se does not occur. sent9: if that that not the tinting gypsum but the beneficentness happens is not incorrect is incorrect then the duralness does not occur. sent10: if either the duralness happens or the cruelty does not occur or both the pastorate happens. sent11: the mile occurs if the tinting intellectual does not occur. sent12: the cruelty is prevented by that the conspecific and the loyalty happens. sent13: that the duralness occurs prevents that the pastorate does not occur. sent14: the fact that the tinting gypsum does not occur but the beneficentness occurs is incorrect if the mile happens. sent15: that the tinting intellectual does not occur is triggered by that the busying does not occur. ; $proof$ = 
__UNKNOWN__