that the bumbling Khoikhoin does not occur or the permitting arthromere does not occur or both is wrong.
sent1: the bumbling Khoikhoin occurs. sent2: if both the non-multidimensionalness and the bivalentness occurs then the permitting arthromere occurs. sent3: if the bumbling Khoikhoin does not occur then both the symbolatry and the weighing occurs. sent4: if the permitting arthromere occurs then the fact that the contingency does not occur and the carnifying does not occur is true. sent5: that the bivalentness occurs is true. sent6: the bumbling Khoikhoin occurs if the weighing does not occur. sent7: if the permitting Bellis does not occur then the intractableness occurs. sent8: if that the hornpipe but not the gambling happens is incorrect the badgering happens. sent9: that the insubordinateness does not occur results in that the booting solan does not occur and the footrace occurs. sent10: the emasculation occurs and the belemniticness occurs. sent11: the fact that both the stigmatizing handstamp and the row happens is false if the booting solan does not occur. sent12: that the weighing does not occur and the carnifying occurs prevents that the bumbling Khoikhoin occurs. sent13: the bumbling Khoikhoin does not occur if the fact that the stigmatizing handstamp and the row happens is not right. sent14: the non-multidimensionalness and the bivalentness happens if the roboticsness does not occur. sent15: the carnifying occurs if the weighing happens. sent16: the blockading does not occur but the bionicsness occurs. sent17: the fact that the circulatoriness happens is true. sent18: the roboticsness does not occur if the emasculation happens and the badgering happens. sent19: the carnifying does not occur but the bivalentness occurs. sent20: that the bivalentness does not occur is prevented by that the multidimensionalness occurs. sent21: the fact that the hornpipe but not the gambling occurs is not correct if the booting tollbooth occurs.
void -> assump1: Let's assume that the weighing occurs.; sent15 & assump1 -> int1: the carnifying happens.; sent19 -> int2: the carnifying does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the weighing does not occur.;
that the contingency does not occur but the symbolatry occurs is not incorrect.
sent10 -> int5: the emasculation occurs.;
$hypothesis$ = that the bumbling Khoikhoin does not occur or the permitting arthromere does not occur or both is wrong. ; $context$ = sent1: the bumbling Khoikhoin occurs. sent2: if both the non-multidimensionalness and the bivalentness occurs then the permitting arthromere occurs. sent3: if the bumbling Khoikhoin does not occur then both the symbolatry and the weighing occurs. sent4: if the permitting arthromere occurs then the fact that the contingency does not occur and the carnifying does not occur is true. sent5: that the bivalentness occurs is true. sent6: the bumbling Khoikhoin occurs if the weighing does not occur. sent7: if the permitting Bellis does not occur then the intractableness occurs. sent8: if that the hornpipe but not the gambling happens is incorrect the badgering happens. sent9: that the insubordinateness does not occur results in that the booting solan does not occur and the footrace occurs. sent10: the emasculation occurs and the belemniticness occurs. sent11: the fact that both the stigmatizing handstamp and the row happens is false if the booting solan does not occur. sent12: that the weighing does not occur and the carnifying occurs prevents that the bumbling Khoikhoin occurs. sent13: the bumbling Khoikhoin does not occur if the fact that the stigmatizing handstamp and the row happens is not right. sent14: the non-multidimensionalness and the bivalentness happens if the roboticsness does not occur. sent15: the carnifying occurs if the weighing happens. sent16: the blockading does not occur but the bionicsness occurs. sent17: the fact that the circulatoriness happens is true. sent18: the roboticsness does not occur if the emasculation happens and the badgering happens. sent19: the carnifying does not occur but the bivalentness occurs. sent20: that the bivalentness does not occur is prevented by that the multidimensionalness occurs. sent21: the fact that the hornpipe but not the gambling occurs is not correct if the booting tollbooth occurs. ; $proof$ = 
void -> assump1: Let's assume that the weighing occurs.; sent15 & assump1 -> int1: the carnifying happens.; sent19 -> int2: the carnifying does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the weighing does not occur.; __UNKNOWN__