the collimation happens.
sent1: the cericness happens if the bearing enlarger occurs. sent2: the fact that the housecleaning Pandion does not occur is correct. sent3: that the quadrangularness does not occur causes that the collimation occurs. sent4: that the schismaticness does not occur is not right. sent5: the discourse does not occur. sent6: the bearing Afrikaner happens. sent7: if the starving happens and the bearing disposition happens the housecleaning Pandion occurs. sent8: the glare occurs. sent9: the outshouting Anoectochilus occurs. sent10: the methodologicalness happens. sent11: that both the non-quadrangularness and the housecleaning Pandion happens is not right if the bearing stepper does not occur. sent12: the fact that the Avestanness occurs is true if the algometry happens and the malodorousness does not occur. sent13: the non-morphophonemicsness leads to the outshouting reserve. sent14: the bearing nobelium happens. sent15: that the starving but not the bearing disposition occurs is brought about by that the quadrangularness happens. sent16: that the bearing stepper happens and the exactaness does not occur is not right if the fact that the worldliness happens is not wrong. sent17: the prelims does not occur. sent18: the electiveness occurs. sent19: if the quadrangularness happens then the bearing disposition does not occur. sent20: that the bearing stepper does not occur if that that both the bearing stepper and the non-exactaness happens is not right is not incorrect is correct. sent21: the Eritreanness occurs. sent22: the housecleaning Pandion happens if the starving but not the bearing disposition occurs. sent23: the fact that the bearing verge happens is not wrong.
void -> assump1: Let's assume that the quadrangularness happens.; sent15 & assump1 -> int1: the starving but not the bearing disposition occurs.; int1 & sent22 -> int2: the housecleaning Pandion occurs.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the quadrangularness does not occur.; int4 & sent3 -> hypothesis;
the collimation does not occur.
$hypothesis$ = the collimation happens. ; $context$ = sent1: the cericness happens if the bearing enlarger occurs. sent2: the fact that the housecleaning Pandion does not occur is correct. sent3: that the quadrangularness does not occur causes that the collimation occurs. sent4: that the schismaticness does not occur is not right. sent5: the discourse does not occur. sent6: the bearing Afrikaner happens. sent7: if the starving happens and the bearing disposition happens the housecleaning Pandion occurs. sent8: the glare occurs. sent9: the outshouting Anoectochilus occurs. sent10: the methodologicalness happens. sent11: that both the non-quadrangularness and the housecleaning Pandion happens is not right if the bearing stepper does not occur. sent12: the fact that the Avestanness occurs is true if the algometry happens and the malodorousness does not occur. sent13: the non-morphophonemicsness leads to the outshouting reserve. sent14: the bearing nobelium happens. sent15: that the starving but not the bearing disposition occurs is brought about by that the quadrangularness happens. sent16: that the bearing stepper happens and the exactaness does not occur is not right if the fact that the worldliness happens is not wrong. sent17: the prelims does not occur. sent18: the electiveness occurs. sent19: if the quadrangularness happens then the bearing disposition does not occur. sent20: that the bearing stepper does not occur if that that both the bearing stepper and the non-exactaness happens is not right is not incorrect is correct. sent21: the Eritreanness occurs. sent22: the housecleaning Pandion happens if the starving but not the bearing disposition occurs. sent23: the fact that the bearing verge happens is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the quadrangularness happens.; sent15 & assump1 -> int1: the starving but not the bearing disposition occurs.; int1 & sent22 -> int2: the housecleaning Pandion occurs.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the quadrangularness does not occur.; int4 & sent3 -> hypothesis; __PROVED__