the fact that not the barking humectant but the Icelandicness happens is not true.
sent1: the Icelandicness happens. sent2: if the nonattendance happens the fact that the bypassing tune does not occur or the wanting does not occur or both is false. sent3: the bypassing tune occurs. sent4: the bypassing tune happens if the nonattendance occurs. sent5: the nonattendance happens. sent6: the non-heterocercalness is caused by that the barking humectant happens and the apogamicness occurs. sent7: the fact that the amalgamation does not occur and/or the promenade does not occur is wrong. sent8: either that the Balticness does not occur or that the multiculturalness occurs or both yields that the whirlpool does not occur. sent9: that the fact that not the barking humectant but the Icelandicness occurs is not wrong does not hold if the apogamicness does not occur. sent10: the architecturalness does not occur or the wholesaling does not occur or both. sent11: if that the barking Montanan does not occur hold the bypassing tune does not occur or the wanting does not occur or both. sent12: either the bypassing tune occurs or the wanting does not occur or both. sent13: the heterocercalness happens and/or the adenoidectomy occurs. sent14: that if the barking Montanan does not occur then the bypassing tune occurs and/or the wanting does not occur is not false. sent15: that the barking Montanan occurs is prevented by either the non-heterocercalness or the adenoidectomy or both. sent16: the apogamicness happens.
void -> assump1: Let's assume that the barking humectant occurs.; assump1 & sent16 -> int1: the barking humectant and the apogamicness happens.; int1 & sent6 -> int2: the heterocercalness does not occur.; int2 -> int3: the heterocercalness does not occur and/or the adenoidectomy happens.; int3 & sent15 -> int4: that the barking Montanan does not occur is not false.; int4 & sent11 -> int5: the bypassing tune does not occur and/or the wanting does not occur.; sent2 & sent5 -> int6: the fact that the bypassing tune does not occur or the wanting does not occur or both is not right.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the barking humectant does not occur.; int8 & sent1 -> hypothesis;
the fact that not the barking humectant but the Icelandic occurs is incorrect.
$hypothesis$ = the fact that not the barking humectant but the Icelandicness happens is not true. ; $context$ = sent1: the Icelandicness happens. sent2: if the nonattendance happens the fact that the bypassing tune does not occur or the wanting does not occur or both is false. sent3: the bypassing tune occurs. sent4: the bypassing tune happens if the nonattendance occurs. sent5: the nonattendance happens. sent6: the non-heterocercalness is caused by that the barking humectant happens and the apogamicness occurs. sent7: the fact that the amalgamation does not occur and/or the promenade does not occur is wrong. sent8: either that the Balticness does not occur or that the multiculturalness occurs or both yields that the whirlpool does not occur. sent9: that the fact that not the barking humectant but the Icelandicness occurs is not wrong does not hold if the apogamicness does not occur. sent10: the architecturalness does not occur or the wholesaling does not occur or both. sent11: if that the barking Montanan does not occur hold the bypassing tune does not occur or the wanting does not occur or both. sent12: either the bypassing tune occurs or the wanting does not occur or both. sent13: the heterocercalness happens and/or the adenoidectomy occurs. sent14: that if the barking Montanan does not occur then the bypassing tune occurs and/or the wanting does not occur is not false. sent15: that the barking Montanan occurs is prevented by either the non-heterocercalness or the adenoidectomy or both. sent16: the apogamicness happens. ; $proof$ = 
void -> assump1: Let's assume that the barking humectant occurs.; assump1 & sent16 -> int1: the barking humectant and the apogamicness happens.; int1 & sent6 -> int2: the heterocercalness does not occur.; int2 -> int3: the heterocercalness does not occur and/or the adenoidectomy happens.; int3 & sent15 -> int4: that the barking Montanan does not occur is not false.; int4 & sent11 -> int5: the bypassing tune does not occur and/or the wanting does not occur.; sent2 & sent5 -> int6: the fact that the bypassing tune does not occur or the wanting does not occur or both is not right.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the barking humectant does not occur.; int8 & sent1 -> hypothesis; __DISPROVED__