the croupiness does not occur.
sent1: the career is prevented by that the grinding and the governing kentan happens. sent2: if the inundating ID occurs then the mutter happens. sent3: the aureole does not occur. sent4: that the aureole does not occur causes that the principalship happens and the ethnocentricness happens. sent5: if the fudging tiercel does not occur but the principalship occurs the croupiness occurs. sent6: that the croupiness happens and the fudging tiercel occurs prevents that the principalship occurs. sent7: the governing Digitaria does not occur. sent8: the ethnocentricness happens if the aureole does not occur. sent9: that the beggary occurs is correct. sent10: the mammalianness happens. sent11: the fudging tiercel happens. sent12: the ethnocentricness does not occur and/or the principalship happens if the aureole happens. sent13: the fact that both the cannonade and the conventionalness occurs if the hurry does not occur is right. sent14: if the mutter occurs then that the aureole occurs is not false. sent15: the fact that the headquartering Dartmouth occurs hold. sent16: that the flimsiness occurs is prevented by that the headquartering Herrenvolk happens and the governing Iguanodontidae occurs. sent17: the mammalianness occurs and the mousiness happens.
void -> assump1: Let's assume that the croupiness happens.; assump1 & sent11 -> int1: the croupiness occurs and the fudging tiercel occurs.; int1 & sent6 -> int2: the fact that the principalship does not occur is true.; sent4 & sent3 -> int3: the principalship and the ethnocentricness occurs.; int3 -> int4: the principalship occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the croupiness occurs.
$hypothesis$ = the croupiness does not occur. ; $context$ = sent1: the career is prevented by that the grinding and the governing kentan happens. sent2: if the inundating ID occurs then the mutter happens. sent3: the aureole does not occur. sent4: that the aureole does not occur causes that the principalship happens and the ethnocentricness happens. sent5: if the fudging tiercel does not occur but the principalship occurs the croupiness occurs. sent6: that the croupiness happens and the fudging tiercel occurs prevents that the principalship occurs. sent7: the governing Digitaria does not occur. sent8: the ethnocentricness happens if the aureole does not occur. sent9: that the beggary occurs is correct. sent10: the mammalianness happens. sent11: the fudging tiercel happens. sent12: the ethnocentricness does not occur and/or the principalship happens if the aureole happens. sent13: the fact that both the cannonade and the conventionalness occurs if the hurry does not occur is right. sent14: if the mutter occurs then that the aureole occurs is not false. sent15: the fact that the headquartering Dartmouth occurs hold. sent16: that the flimsiness occurs is prevented by that the headquartering Herrenvolk happens and the governing Iguanodontidae occurs. sent17: the mammalianness occurs and the mousiness happens. ; $proof$ = 
void -> assump1: Let's assume that the croupiness happens.; assump1 & sent11 -> int1: the croupiness occurs and the fudging tiercel occurs.; int1 & sent6 -> int2: the fact that the principalship does not occur is true.; sent4 & sent3 -> int3: the principalship and the ethnocentricness occurs.; int3 -> int4: the principalship occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__