the hypothecating happens.
sent1: both the thunderbolt and the tortiousness occurs. sent2: both the hypothecating and the autoimmuneness happens if the internship does not occur. sent3: if the paging loblolly does not occur the internship does not occur and/or the thunderbolt does not occur. sent4: the non-hyperemicness is prevented by that the influence but not the inoperableness happens. sent5: if the hypothecating happens then the autoimmuneness occurs. sent6: if the debouching does not occur the fact that the overrefining greenwood happens and the wrench happens does not hold. sent7: if the Americanism happens but the carpentry does not occur the distributionalness does not occur. sent8: that the undemocraticness and the non-Handelianness occurs does not hold if the wrenching does not occur. sent9: if the fact that the undemocraticness happens and the Handelianness does not occur is not right then the respectableness does not occur. sent10: the fact that the wrench does not occur is not wrong if the fact that the overrefining greenwood happens and the wrench happens is not right. sent11: the division does not occur if the pride happens. sent12: both the internship and the paging loblolly happens. sent13: the non-distributionalness yields that both the congratulating viewpoint and the transuranicness happens. sent14: if that the paging plush does not occur is not incorrect the hardship occurs and the overrefining fusil occurs. sent15: if the congratulating bugbear does not occur both the hearing rustic and the overrefining illiberality happens. sent16: the congratulating bugbear does not occur if the hyperemicness but not the respectableness happens. sent17: if the fact that both the paging plush and the congratulating barrenness occurs is not right then the paging plush does not occur. sent18: if the hearing rustic happens the pride occurs. sent19: that the hypothecating and the autoimmuneness happens causes that the circumnavigation does not occur. sent20: the Americanism occurs but the carpentry does not occur. sent21: the transuranicness causes that the influence but not the inoperableness happens. sent22: if the division does not occur that that the paging plush occurs and the congratulating barrenness occurs is not incorrect is false. sent23: the hardship causes that the paging loblolly does not occur and the tortiousness does not occur. sent24: that both the autoimmuneness and the internship occurs prevents the thunderbolt.
void -> assump1: Let's assume that the hypothecating happens.; sent5 & assump1 -> int1: the autoimmuneness occurs.; sent12 -> int2: the internship occurs.; int1 & int2 -> int3: the autoimmuneness and the internship happens.; int3 & sent24 -> int4: the thunderbolt does not occur.; sent1 -> int5: the thunderbolt happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the circumnavigation does not occur.
sent7 & sent20 -> int7: the distributionalness does not occur.; sent13 & int7 -> int8: the fact that the congratulating viewpoint and the transuranicness happens is right.; int8 -> int9: the transuranicness occurs.; sent21 & int9 -> int10: the influence occurs but the inoperableness does not occur.; sent4 & int10 -> int11: the hyperemicness occurs.;
$hypothesis$ = the hypothecating happens. ; $context$ = sent1: both the thunderbolt and the tortiousness occurs. sent2: both the hypothecating and the autoimmuneness happens if the internship does not occur. sent3: if the paging loblolly does not occur the internship does not occur and/or the thunderbolt does not occur. sent4: the non-hyperemicness is prevented by that the influence but not the inoperableness happens. sent5: if the hypothecating happens then the autoimmuneness occurs. sent6: if the debouching does not occur the fact that the overrefining greenwood happens and the wrench happens does not hold. sent7: if the Americanism happens but the carpentry does not occur the distributionalness does not occur. sent8: that the undemocraticness and the non-Handelianness occurs does not hold if the wrenching does not occur. sent9: if the fact that the undemocraticness happens and the Handelianness does not occur is not right then the respectableness does not occur. sent10: the fact that the wrench does not occur is not wrong if the fact that the overrefining greenwood happens and the wrench happens is not right. sent11: the division does not occur if the pride happens. sent12: both the internship and the paging loblolly happens. sent13: the non-distributionalness yields that both the congratulating viewpoint and the transuranicness happens. sent14: if that the paging plush does not occur is not incorrect the hardship occurs and the overrefining fusil occurs. sent15: if the congratulating bugbear does not occur both the hearing rustic and the overrefining illiberality happens. sent16: the congratulating bugbear does not occur if the hyperemicness but not the respectableness happens. sent17: if the fact that both the paging plush and the congratulating barrenness occurs is not right then the paging plush does not occur. sent18: if the hearing rustic happens the pride occurs. sent19: that the hypothecating and the autoimmuneness happens causes that the circumnavigation does not occur. sent20: the Americanism occurs but the carpentry does not occur. sent21: the transuranicness causes that the influence but not the inoperableness happens. sent22: if the division does not occur that that the paging plush occurs and the congratulating barrenness occurs is not incorrect is false. sent23: the hardship causes that the paging loblolly does not occur and the tortiousness does not occur. sent24: that both the autoimmuneness and the internship occurs prevents the thunderbolt. ; $proof$ = 
void -> assump1: Let's assume that the hypothecating happens.; sent5 & assump1 -> int1: the autoimmuneness occurs.; sent12 -> int2: the internship occurs.; int1 & int2 -> int3: the autoimmuneness and the internship happens.; int3 & sent24 -> int4: the thunderbolt does not occur.; sent1 -> int5: the thunderbolt happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__