the awkwardness happens.
sent1: the mutilation does not occur if the fact that the unguiculateness but not the greasing stylist happens does not hold. sent2: if the fact that the mutilation does not occur is not incorrect then the postganglionicness does not occur and the singular does not occur. sent3: the burrlikeness happens. sent4: that both the unguiculate and the greasing stylist occurs is false. sent5: the singular does not occur if the mutilation does not occur. sent6: both the burrlikeness and the bobsledding occurs if the satisfaction does not occur. sent7: that the aculeateness but not the rectosigmoidness happens is wrong. sent8: if the fact that both the minimalistness and the non-ergoticness happens does not hold then that the tiling does not occur is correct. sent9: the satisfaction does not occur. sent10: if the counterfeit does not occur then that the unguiculateness happens and the greasing stylist does not occur does not hold. sent11: that the unguiculateness and the greasing stylist happens does not hold if the counterfeit does not occur. sent12: if the singular does not occur then that the greasing stylist happens and the mutilation occurs is wrong. sent13: if the parameter does not occur the fact that the non-awkwardness and the non-counterfeitness occurs does not hold. sent14: the awkwardness occurs if that both the non-awkwardness and the non-counterfeitness occurs does not hold. sent15: the awkwardness does not occur if the postganglionicness does not occur and the singular does not occur. sent16: the awkwardness does not occur if the non-postganglionicness and the singularness occurs. sent17: the impenitentness does not occur if the incompleteness does not occur and the malversation does not occur. sent18: if the satisfaction does not occur then the burrlikeness happens. sent19: the non-unguiculateness is prevented by that the greasing stylist does not occur and/or the non-unguiculate occurs. sent20: the bonneting immunotherapy happens. sent21: that the parameter and the counterfeit happens leads to that the bobsledding does not occur. sent22: the fact that that both the lacing and the non-custard-likeness happens does not hold is not false. sent23: the parameter occurs.
void -> assump1: Let's assume that the counterfeitness happens.; sent23 & assump1 -> int1: the parameter and the counterfeit happens.; int1 & sent21 -> int2: the bobsledding does not occur.; sent6 & sent9 -> int3: the burrlikeness occurs and the bobsledding occurs.; int3 -> int4: that the bobsledding happens is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the counterfeit does not occur is not incorrect.; int6 & sent10 -> int7: that the unguiculate happens and the greasing stylist does not occur is false.; int7 & sent1 -> int8: the mutilation does not occur.; int8 & sent2 -> int9: the postganglionicness does not occur and the singularness does not occur.; int9 & sent15 -> hypothesis;
the awkwardness occurs.
$hypothesis$ = the awkwardness happens. ; $context$ = sent1: the mutilation does not occur if the fact that the unguiculateness but not the greasing stylist happens does not hold. sent2: if the fact that the mutilation does not occur is not incorrect then the postganglionicness does not occur and the singular does not occur. sent3: the burrlikeness happens. sent4: that both the unguiculate and the greasing stylist occurs is false. sent5: the singular does not occur if the mutilation does not occur. sent6: both the burrlikeness and the bobsledding occurs if the satisfaction does not occur. sent7: that the aculeateness but not the rectosigmoidness happens is wrong. sent8: if the fact that both the minimalistness and the non-ergoticness happens does not hold then that the tiling does not occur is correct. sent9: the satisfaction does not occur. sent10: if the counterfeit does not occur then that the unguiculateness happens and the greasing stylist does not occur does not hold. sent11: that the unguiculateness and the greasing stylist happens does not hold if the counterfeit does not occur. sent12: if the singular does not occur then that the greasing stylist happens and the mutilation occurs is wrong. sent13: if the parameter does not occur the fact that the non-awkwardness and the non-counterfeitness occurs does not hold. sent14: the awkwardness occurs if that both the non-awkwardness and the non-counterfeitness occurs does not hold. sent15: the awkwardness does not occur if the postganglionicness does not occur and the singular does not occur. sent16: the awkwardness does not occur if the non-postganglionicness and the singularness occurs. sent17: the impenitentness does not occur if the incompleteness does not occur and the malversation does not occur. sent18: if the satisfaction does not occur then the burrlikeness happens. sent19: the non-unguiculateness is prevented by that the greasing stylist does not occur and/or the non-unguiculate occurs. sent20: the bonneting immunotherapy happens. sent21: that the parameter and the counterfeit happens leads to that the bobsledding does not occur. sent22: the fact that that both the lacing and the non-custard-likeness happens does not hold is not false. sent23: the parameter occurs. ; $proof$ = 
void -> assump1: Let's assume that the counterfeitness happens.; sent23 & assump1 -> int1: the parameter and the counterfeit happens.; int1 & sent21 -> int2: the bobsledding does not occur.; sent6 & sent9 -> int3: the burrlikeness occurs and the bobsledding occurs.; int3 -> int4: that the bobsledding happens is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the counterfeit does not occur is not incorrect.; int6 & sent10 -> int7: that the unguiculate happens and the greasing stylist does not occur is false.; int7 & sent1 -> int8: the mutilation does not occur.; int8 & sent2 -> int9: the postganglionicness does not occur and the singularness does not occur.; int9 & sent15 -> hypothesis; __DISPROVED__