the fact that if the packableness happens then the Wagnerian does not occur does not hold.
sent1: if the heedlessness does not occur then the sunlight does not occur and the costing does not occur. sent2: the arriving does not occur if the fact that the weaning showgirl does not occur and the restoration does not occur is not right. sent3: that the spectating pier but not the astrogating happens is false if the elongating does not occur. sent4: if that the barratry does not occur and the snorting does not occur is not correct the heedlessness does not occur. sent5: if the spectating dot-com does not occur that the barratry does not occur and the snorting does not occur is wrong. sent6: if that the telegraphicness does not occur is not incorrect then the fact that the talkie occurs or the MPEG occurs or both does not hold. sent7: the spectating angostura does not occur if that the Wagnerian and the spectating angostura happens is incorrect. sent8: that the spectating pier does not occur is caused by that the elongating does not occur but the astrogating occurs. sent9: that both the packableness and the Wagnerian occurs brings about that the interlinearness does not occur. sent10: if the undrinkableness does not occur then that both the cumulus and the telegraphicness happens is incorrect. sent11: if the administration does not occur then the spectating dot-com does not occur. sent12: the spectating pier happens. sent13: if the arriving does not occur the undrinkableness does not occur. sent14: the administration does not occur if that either the talkie occurs or the MPEG occurs or both is false. sent15: the elongating does not occur and the astrogating occurs if the interlinearness does not occur. sent16: the astrogating happens if that the spectating pier occurs but the astrogating does not occur is not correct. sent17: the telegraphicness does not occur if that the cumulus happens and the telegraphicness occurs is wrong. sent18: that both the Wagnerianness and the spectating angostura occurs does not hold if the packableness does not occur. sent19: the thrombosing sternness but not the elongating occurs if the cecalness happens. sent20: the thrombosing stewing and the cecalness occurs if the costing does not occur.
void -> assump2: Let's assume that the packableness happens.; void -> assump1: Let's assume that the Wagnerian happens.; assump2 & assump1 -> int1: both the packableness and the Wagnerian occurs.; int1 & sent9 -> int2: the interlinearness does not occur.; int2 & sent15 -> int3: not the elongating but the astrogating occurs.; int3 & sent8 -> int4: the spectating pier does not occur.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Wagnerianness does not occur.; [assump2] & int6 -> hypothesis;
the fact that the spectating angostura does not occur hold.
$hypothesis$ = the fact that if the packableness happens then the Wagnerian does not occur does not hold. ; $context$ = sent1: if the heedlessness does not occur then the sunlight does not occur and the costing does not occur. sent2: the arriving does not occur if the fact that the weaning showgirl does not occur and the restoration does not occur is not right. sent3: that the spectating pier but not the astrogating happens is false if the elongating does not occur. sent4: if that the barratry does not occur and the snorting does not occur is not correct the heedlessness does not occur. sent5: if the spectating dot-com does not occur that the barratry does not occur and the snorting does not occur is wrong. sent6: if that the telegraphicness does not occur is not incorrect then the fact that the talkie occurs or the MPEG occurs or both does not hold. sent7: the spectating angostura does not occur if that the Wagnerian and the spectating angostura happens is incorrect. sent8: that the spectating pier does not occur is caused by that the elongating does not occur but the astrogating occurs. sent9: that both the packableness and the Wagnerian occurs brings about that the interlinearness does not occur. sent10: if the undrinkableness does not occur then that both the cumulus and the telegraphicness happens is incorrect. sent11: if the administration does not occur then the spectating dot-com does not occur. sent12: the spectating pier happens. sent13: if the arriving does not occur the undrinkableness does not occur. sent14: the administration does not occur if that either the talkie occurs or the MPEG occurs or both is false. sent15: the elongating does not occur and the astrogating occurs if the interlinearness does not occur. sent16: the astrogating happens if that the spectating pier occurs but the astrogating does not occur is not correct. sent17: the telegraphicness does not occur if that the cumulus happens and the telegraphicness occurs is wrong. sent18: that both the Wagnerianness and the spectating angostura occurs does not hold if the packableness does not occur. sent19: the thrombosing sternness but not the elongating occurs if the cecalness happens. sent20: the thrombosing stewing and the cecalness occurs if the costing does not occur. ; $proof$ = 
void -> assump2: Let's assume that the packableness happens.; void -> assump1: Let's assume that the Wagnerian happens.; assump2 & assump1 -> int1: both the packableness and the Wagnerian occurs.; int1 & sent9 -> int2: the interlinearness does not occur.; int2 & sent15 -> int3: not the elongating but the astrogating occurs.; int3 & sent8 -> int4: the spectating pier does not occur.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Wagnerianness does not occur.; [assump2] & int6 -> hypothesis; __DISPROVED__