the monolingual does not occur but the ascertaining adjuration occurs.
sent1: if the pigmenting football does not occur the fact that the ascertaining Borodin but not the reflux occurs does not hold. sent2: that the ascertaining adjuration happens hold. sent3: the diffraction does not occur if that the missionariness does not occur and the allocution does not occur is false. sent4: that the unlikeness does not occur is triggered by that the seawardness happens and the alkalimetry occurs. sent5: the reflux does not occur. sent6: if the costalness does not occur then the monolingualness does not occur. sent7: if the unlikeness does not occur then that the missionary does not occur and the allocution does not occur is not right. sent8: if the unlikeness does not occur the missionary does not occur and/or the allocution does not occur. sent9: not the reflectorizing amethyst but the illiterate happens. sent10: the aboriginalness does not occur. sent11: the seaward happens. sent12: if the diffraction happens the pigmenting cert does not occur. sent13: the forteness occurs. sent14: the particulateness and the stoning occurs. sent15: if the hesitation does not occur that the monolingual does not occur and the ascertaining adjuration occurs does not hold. sent16: if the diffraction does not occur the reflux does not occur but the pigmenting cert happens. sent17: the fact that if the ascertaining Borodin does not occur then the costalness but not the pigmenting football occurs hold. sent18: the anacliticness does not occur. sent19: if the pigmenting cert does not occur the reflux does not occur. sent20: the fact that the diffraction happens hold. sent21: the fact that both the ascertaining Borodin and the reflux occurs is not correct. sent22: the hesitation happens. sent23: the fact that both the ascertaining Borodin and the reflux happens is not true if the pigmenting football does not occur. sent24: that the pigmenting football does not occur is caused by that the hesitation and the costalness occurs. sent25: if the pigmenting cert does not occur then that the ascertaining Borodin happens and the reflux does not occur is not incorrect.
void -> assump1: Let's assume that the costalness happens.; sent22 & assump1 -> int1: the hesitation and the costalness occurs.; int1 & sent24 -> int2: the pigmenting football does not occur.; int2 & sent1 -> int3: the fact that the ascertaining Borodin but not the reflux happens is not correct.; sent12 & sent20 -> int4: the pigmenting cert does not occur.; sent25 & int4 -> int5: the ascertaining Borodin happens but the reflux does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the costalness does not occur.; int7 & sent6 -> int8: the monolingual does not occur.; int8 & sent2 -> hypothesis;
that the monolingual does not occur and the ascertaining adjuration happens is not true.
$hypothesis$ = the monolingual does not occur but the ascertaining adjuration occurs. ; $context$ = sent1: if the pigmenting football does not occur the fact that the ascertaining Borodin but not the reflux occurs does not hold. sent2: that the ascertaining adjuration happens hold. sent3: the diffraction does not occur if that the missionariness does not occur and the allocution does not occur is false. sent4: that the unlikeness does not occur is triggered by that the seawardness happens and the alkalimetry occurs. sent5: the reflux does not occur. sent6: if the costalness does not occur then the monolingualness does not occur. sent7: if the unlikeness does not occur then that the missionary does not occur and the allocution does not occur is not right. sent8: if the unlikeness does not occur the missionary does not occur and/or the allocution does not occur. sent9: not the reflectorizing amethyst but the illiterate happens. sent10: the aboriginalness does not occur. sent11: the seaward happens. sent12: if the diffraction happens the pigmenting cert does not occur. sent13: the forteness occurs. sent14: the particulateness and the stoning occurs. sent15: if the hesitation does not occur that the monolingual does not occur and the ascertaining adjuration occurs does not hold. sent16: if the diffraction does not occur the reflux does not occur but the pigmenting cert happens. sent17: the fact that if the ascertaining Borodin does not occur then the costalness but not the pigmenting football occurs hold. sent18: the anacliticness does not occur. sent19: if the pigmenting cert does not occur the reflux does not occur. sent20: the fact that the diffraction happens hold. sent21: the fact that both the ascertaining Borodin and the reflux occurs is not correct. sent22: the hesitation happens. sent23: the fact that both the ascertaining Borodin and the reflux happens is not true if the pigmenting football does not occur. sent24: that the pigmenting football does not occur is caused by that the hesitation and the costalness occurs. sent25: if the pigmenting cert does not occur then that the ascertaining Borodin happens and the reflux does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the costalness happens.; sent22 & assump1 -> int1: the hesitation and the costalness occurs.; int1 & sent24 -> int2: the pigmenting football does not occur.; int2 & sent1 -> int3: the fact that the ascertaining Borodin but not the reflux happens is not correct.; sent12 & sent20 -> int4: the pigmenting cert does not occur.; sent25 & int4 -> int5: the ascertaining Borodin happens but the reflux does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the costalness does not occur.; int7 & sent6 -> int8: the monolingual does not occur.; int8 & sent2 -> hypothesis; __PROVED__