that the zymoticness does not occur and the rent does not occur does not hold.
sent1: the carrier does not occur if not the imbecility but the tweezing default occurs. sent2: if the self-fertilization does not occur but the conditioner happens then the moderatorship does not occur. sent3: if the crumbling plop does not occur then the tweezing steenbok occurs and the tweezing Heshvan occurs. sent4: the fact that the zymoticness does not occur and the rent does not occur is not correct if the carrier occurs. sent5: the ouster does not occur. sent6: the adaxialness occurs if the fact that not the imbecility but the tweezing default occurs is not true. sent7: if the tweezing steenbok occurs then that the pace happens or the mutation does not occur or both is false. sent8: the non-blue-collarness results in that the zymoticness does not occur and the rent does not occur. sent9: the blue-collarness happens if that the pacing occurs and/or the mutation does not occur is not right. sent10: the fact that the adaxialness but not the Bell happens is not right if the blue-collarness occurs. sent11: that the carrier does not occur yields that the Bell does not occur. sent12: if the tweezing default does not occur then the adaxialness happens. sent13: the aversion does not occur if the exoergicness and the bilking happens. sent14: the tweezing default occurs. sent15: the crumbling plop does not occur if the stillness does not occur or the crumbling plop does not occur or both. sent16: that the Bell does not occur results in that the blue-collarness does not occur. sent17: the adaxialness does not occur.
void -> assump1: Let's assume that that the imbecility does not occur but the tweezing default happens is not right.; sent6 & assump1 -> int1: the adaxialness occurs.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the imbecility does not occur and the tweezing default happens.; int3 & sent1 -> int4: the carrier does not occur.; int4 & sent11 -> int5: the Bell does not occur.; int5 & sent16 -> int6: the blue-collarness does not occur.; int6 & sent8 -> hypothesis;
the fact that the zymoticness does not occur and the renting does not occur is not true.
$hypothesis$ = that the zymoticness does not occur and the rent does not occur does not hold. ; $context$ = sent1: the carrier does not occur if not the imbecility but the tweezing default occurs. sent2: if the self-fertilization does not occur but the conditioner happens then the moderatorship does not occur. sent3: if the crumbling plop does not occur then the tweezing steenbok occurs and the tweezing Heshvan occurs. sent4: the fact that the zymoticness does not occur and the rent does not occur is not correct if the carrier occurs. sent5: the ouster does not occur. sent6: the adaxialness occurs if the fact that not the imbecility but the tweezing default occurs is not true. sent7: if the tweezing steenbok occurs then that the pace happens or the mutation does not occur or both is false. sent8: the non-blue-collarness results in that the zymoticness does not occur and the rent does not occur. sent9: the blue-collarness happens if that the pacing occurs and/or the mutation does not occur is not right. sent10: the fact that the adaxialness but not the Bell happens is not right if the blue-collarness occurs. sent11: that the carrier does not occur yields that the Bell does not occur. sent12: if the tweezing default does not occur then the adaxialness happens. sent13: the aversion does not occur if the exoergicness and the bilking happens. sent14: the tweezing default occurs. sent15: the crumbling plop does not occur if the stillness does not occur or the crumbling plop does not occur or both. sent16: that the Bell does not occur results in that the blue-collarness does not occur. sent17: the adaxialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the imbecility does not occur but the tweezing default happens is not right.; sent6 & assump1 -> int1: the adaxialness occurs.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the imbecility does not occur and the tweezing default happens.; int3 & sent1 -> int4: the carrier does not occur.; int4 & sent11 -> int5: the Bell does not occur.; int5 & sent16 -> int6: the blue-collarness does not occur.; int6 & sent8 -> hypothesis; __DISPROVED__