that if the phonicness happens then the outnumbering utricle occurs is false.
sent1: the comicness does not occur if the reorienting mill occurs. sent2: the outnumbering monarch does not occur. sent3: the fact that the leptosporangiateness occurs and the reorienting tune occurs is not correct. sent4: the pollution does not occur if that the bibliothecalness and the non-Indianness occurs is incorrect. sent5: if the fact that the formalisticness but not the omen occurs is false the converse does not occur. sent6: the nonconformist happens. sent7: that the outnumbering Shirer does not occur is brought about by that the mooching bannister happens. sent8: if the phonicness but not the top-downness happens the outnumbering utricle occurs. sent9: if the flit occurs the dysphemisticness does not occur. sent10: the outnumbering scud occurs. sent11: if the fact that both the level and the non-brazenness happens is not true the top-downness does not occur. sent12: the fact that that the leveling but not the brazenness happens hold does not hold. sent13: that the tramontane does not occur is prevented by that the vicissitude happens and the cadastralness does not occur. sent14: that the impossible but not the outnumbering vermifuge occurs causes the outnumbering bracing. sent15: that the scattering does not occur is correct if that the reorienting customer happens but the lobateness does not occur does not hold. sent16: the fact that both the level and the brazening happens is false. sent17: the incapableness occurs if the fact that the brassiness but not the pocket happens is not wrong. sent18: the fact that both the outnumbering Salvadoraceae and the non-aeromechanicsness happens does not hold. sent19: the dwelling happens.
void -> assump1: Let's assume that the phonicness happens.; sent11 & sent12 -> int1: the top-downness does not occur.; assump1 & int1 -> int2: the phonicness occurs but the top-downness does not occur.; sent8 & int2 -> int3: that the outnumbering utricle occurs is right.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the phonicness happens then the outnumbering utricle occurs is false. ; $context$ = sent1: the comicness does not occur if the reorienting mill occurs. sent2: the outnumbering monarch does not occur. sent3: the fact that the leptosporangiateness occurs and the reorienting tune occurs is not correct. sent4: the pollution does not occur if that the bibliothecalness and the non-Indianness occurs is incorrect. sent5: if the fact that the formalisticness but not the omen occurs is false the converse does not occur. sent6: the nonconformist happens. sent7: that the outnumbering Shirer does not occur is brought about by that the mooching bannister happens. sent8: if the phonicness but not the top-downness happens the outnumbering utricle occurs. sent9: if the flit occurs the dysphemisticness does not occur. sent10: the outnumbering scud occurs. sent11: if the fact that both the level and the non-brazenness happens is not true the top-downness does not occur. sent12: the fact that that the leveling but not the brazenness happens hold does not hold. sent13: that the tramontane does not occur is prevented by that the vicissitude happens and the cadastralness does not occur. sent14: that the impossible but not the outnumbering vermifuge occurs causes the outnumbering bracing. sent15: that the scattering does not occur is correct if that the reorienting customer happens but the lobateness does not occur does not hold. sent16: the fact that both the level and the brazening happens is false. sent17: the incapableness occurs if the fact that the brassiness but not the pocket happens is not wrong. sent18: the fact that both the outnumbering Salvadoraceae and the non-aeromechanicsness happens does not hold. sent19: the dwelling happens. ; $proof$ = 
void -> assump1: Let's assume that the phonicness happens.; sent11 & sent12 -> int1: the top-downness does not occur.; assump1 & int1 -> int2: the phonicness occurs but the top-downness does not occur.; sent8 & int2 -> int3: that the outnumbering utricle occurs is right.; [assump1] & int3 -> hypothesis; __DISPROVED__