that if that the knuckleball does not occur hold that not the thoracotomy but the monte occurs is incorrect is not right.
sent1: the conscripting demoralization does not occur. sent2: the benefiting happens. sent3: that the nonreticulateness happens and the polity happens triggers the collimation. sent4: the fact that both the non-altitudinalness and the details happens is not correct. sent5: not the deviltry but the transshipping eon happens if the pushup does not occur. sent6: the unfashionableness happens. sent7: that the conscripting millwork does not occur is prevented by that not the cribbage but the penance occurs. sent8: the conscripting croissant occurs. sent9: the fact that the pushup happens is not incorrect if the sericulture does not occur and the suicide occurs. sent10: that the thoracotomy does not occur and the monte occurs triggers that the knuckleball occurs. sent11: the Machiavellian does not occur. sent12: if the conscripting choreography does not occur the scorcher does not occur and the thenalness occurs. sent13: that the conscripting millwork does not occur causes that the expressionist does not occur but the mesicness occurs. sent14: the hat does not occur. sent15: the fact that the denationalizing Haemulon occurs is true if both the Honduranness and the sericulture occurs. sent16: the mesialness does not occur. sent17: the fact that that both the blanking and the goingness occurs prevents that the sericulture does not occur is not false. sent18: the on-streetness happens.
void -> assump1: Let's assume that not the thoracotomy but the monte occurs.; sent10 & assump1 -> int1: the knuckleball occurs.; void -> assump2: Let's assume that the knuckleball does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the thoracotomy but the monte happens is not true.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that if that the knuckleball does not occur hold that not the thoracotomy but the monte occurs is incorrect is not right. ; $context$ = sent1: the conscripting demoralization does not occur. sent2: the benefiting happens. sent3: that the nonreticulateness happens and the polity happens triggers the collimation. sent4: the fact that both the non-altitudinalness and the details happens is not correct. sent5: not the deviltry but the transshipping eon happens if the pushup does not occur. sent6: the unfashionableness happens. sent7: that the conscripting millwork does not occur is prevented by that not the cribbage but the penance occurs. sent8: the conscripting croissant occurs. sent9: the fact that the pushup happens is not incorrect if the sericulture does not occur and the suicide occurs. sent10: that the thoracotomy does not occur and the monte occurs triggers that the knuckleball occurs. sent11: the Machiavellian does not occur. sent12: if the conscripting choreography does not occur the scorcher does not occur and the thenalness occurs. sent13: that the conscripting millwork does not occur causes that the expressionist does not occur but the mesicness occurs. sent14: the hat does not occur. sent15: the fact that the denationalizing Haemulon occurs is true if both the Honduranness and the sericulture occurs. sent16: the mesialness does not occur. sent17: the fact that that both the blanking and the goingness occurs prevents that the sericulture does not occur is not false. sent18: the on-streetness happens. ; $proof$ = 
void -> assump1: Let's assume that not the thoracotomy but the monte occurs.; sent10 & assump1 -> int1: the knuckleball occurs.; void -> assump2: Let's assume that the knuckleball does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the thoracotomy but the monte happens is not true.; [assump2] & int3 -> hypothesis; __DISPROVED__