that the palling does not occur hold.
sent1: that the Somerset occurs is not false. sent2: the progressive does not occur. sent3: that the syllogizing sennit occurs and the womanhood happens is caused by that the rumba does not occur. sent4: the articulating intuitionism occurs. sent5: if the sick does not occur the articulating Mayday happens. sent6: the Lamarckianness happens. sent7: the fact that the fact that the harassment does not occur is not correct is incorrect if the fact that the harassment happens and the womanhood occurs is wrong. sent8: the syllogizing knower does not occur if the fact that either the toilet-training tire happens or the inductiveness does not occur or both is not right. sent9: if the fact that the litigiousness happens and/or the ELISA does not occur is not right then the Salvadoranness does not occur. sent10: if the fact that the tightness and the astigmaticness occurs is incorrect then that the tightness does not occur is correct. sent11: the Coptic does not occur if the arterialness does not occur and the pall does not occur. sent12: the toilet-training rest happens. sent13: the arterialness does not occur if that the articulating casuistry does not occur and/or the habituating does not occur is wrong. sent14: the toilet-training tire does not occur. sent15: that the harassment and the womanhood happens is false. sent16: if the harassment does not occur and the tightness does not occur then the masonicness does not occur. sent17: the fact that the articulating casuistry does not occur or the habituating does not occur or both is false. sent18: if the masonicness does not occur then the Coptic happens and the arterialness happens. sent19: the fact that the phlegminess does not occur or the casualty does not occur or both is not right. sent20: both the Copticness and the masonicness happens if the harassment does not occur. sent21: the conception happens.
sent13 & sent17 -> int1: the arterialness does not occur.; void -> assump1: Let's assume that the palling does not occur.; int1 & assump1 -> int2: the arterialness does not occur and the pall does not occur.; int2 & sent11 -> int3: the Coptic does not occur.; sent7 & sent15 -> int4: the harassment does not occur.; sent20 & int4 -> int5: the Coptic happens and the masonicness occurs.; int5 -> int6: the Coptic happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the syllogizing gavial does not occur.
$hypothesis$ = that the palling does not occur hold. ; $context$ = sent1: that the Somerset occurs is not false. sent2: the progressive does not occur. sent3: that the syllogizing sennit occurs and the womanhood happens is caused by that the rumba does not occur. sent4: the articulating intuitionism occurs. sent5: if the sick does not occur the articulating Mayday happens. sent6: the Lamarckianness happens. sent7: the fact that the fact that the harassment does not occur is not correct is incorrect if the fact that the harassment happens and the womanhood occurs is wrong. sent8: the syllogizing knower does not occur if the fact that either the toilet-training tire happens or the inductiveness does not occur or both is not right. sent9: if the fact that the litigiousness happens and/or the ELISA does not occur is not right then the Salvadoranness does not occur. sent10: if the fact that the tightness and the astigmaticness occurs is incorrect then that the tightness does not occur is correct. sent11: the Coptic does not occur if the arterialness does not occur and the pall does not occur. sent12: the toilet-training rest happens. sent13: the arterialness does not occur if that the articulating casuistry does not occur and/or the habituating does not occur is wrong. sent14: the toilet-training tire does not occur. sent15: that the harassment and the womanhood happens is false. sent16: if the harassment does not occur and the tightness does not occur then the masonicness does not occur. sent17: the fact that the articulating casuistry does not occur or the habituating does not occur or both is false. sent18: if the masonicness does not occur then the Coptic happens and the arterialness happens. sent19: the fact that the phlegminess does not occur or the casualty does not occur or both is not right. sent20: both the Copticness and the masonicness happens if the harassment does not occur. sent21: the conception happens. ; $proof$ = 
sent13 & sent17 -> int1: the arterialness does not occur.; void -> assump1: Let's assume that the palling does not occur.; int1 & assump1 -> int2: the arterialness does not occur and the pall does not occur.; int2 & sent11 -> int3: the Coptic does not occur.; sent7 & sent15 -> int4: the harassment does not occur.; sent20 & int4 -> int5: the Coptic happens and the masonicness occurs.; int5 -> int6: the Coptic happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__