the Saturnalia brings about that the granting does not occur and the shockableness occurs.
sent1: the painlessness does not occur. sent2: if the shapeliness does not occur the intolerableness does not occur and the cardinalship does not occur. sent3: that the dabbing glomerule does not occur brings about that the jazzing happens. sent4: the intolerableness does not occur. sent5: both the Taiwanese and the biologism occurs. sent6: that both the anorectalness and the contestableness happens is triggered by that the tryst does not occur. sent7: if the catecheticalness does not occur then the wrangling does not occur and the obligationalness does not occur. sent8: if the catecheticalness does not occur then the obligationalness does not occur. sent9: that the compromising zoom happens and the dabbing Saladin occurs prevents that the intolerableness occurs. sent10: if both the compromising busybody and the granting happens the Saturnalia happens. sent11: both the Madagascan and the preparing Milwaukee happens. sent12: the catecheticalness does not occur. sent13: the compromising bolus occurs. sent14: if the compromising busybody happens and the granting occurs then the Saturnalia does not occur. sent15: the synapticness does not occur and the compromising gigantism does not occur if the compromising Sarawak does not occur. sent16: if the wrangling does not occur the fact that the plagioclasticness happens and the shockableness occurs is not false. sent17: if the dabbing Hillel occurs then the intercommunion does not occur and the hydrophilicness occurs. sent18: the non-alphanumericsness and the compromising parasite occurs if the medicine occurs. sent19: if the dabbing counterattraction occurs and the lying happens the outside does not occur. sent20: both the compromising busybody and the compromising bolus happens.
sent20 -> int1: the compromising busybody happens.; void -> assump1: Let's assume that the grant occurs.; int1 & assump1 -> int2: the compromising busybody and the grant happens.; int2 & sent14 -> int3: the Saturnalia does not occur.; void -> assump2: Let's assume that the Saturnalia occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the granting does not occur.; sent7 & sent12 -> int6: the wrangling does not occur and the obligationalness does not occur.; int6 -> int7: the wrangling does not occur.; sent16 & int7 -> int8: both the plagioclasticness and the shockableness occurs.; int8 -> int9: the shockableness occurs.; int5 & int9 -> int10: not the grant but the shockableness happens.; [assump2] & int10 -> hypothesis;
$hypothesis$ = the Saturnalia brings about that the granting does not occur and the shockableness occurs. ; $context$ = sent1: the painlessness does not occur. sent2: if the shapeliness does not occur the intolerableness does not occur and the cardinalship does not occur. sent3: that the dabbing glomerule does not occur brings about that the jazzing happens. sent4: the intolerableness does not occur. sent5: both the Taiwanese and the biologism occurs. sent6: that both the anorectalness and the contestableness happens is triggered by that the tryst does not occur. sent7: if the catecheticalness does not occur then the wrangling does not occur and the obligationalness does not occur. sent8: if the catecheticalness does not occur then the obligationalness does not occur. sent9: that the compromising zoom happens and the dabbing Saladin occurs prevents that the intolerableness occurs. sent10: if both the compromising busybody and the granting happens the Saturnalia happens. sent11: both the Madagascan and the preparing Milwaukee happens. sent12: the catecheticalness does not occur. sent13: the compromising bolus occurs. sent14: if the compromising busybody happens and the granting occurs then the Saturnalia does not occur. sent15: the synapticness does not occur and the compromising gigantism does not occur if the compromising Sarawak does not occur. sent16: if the wrangling does not occur the fact that the plagioclasticness happens and the shockableness occurs is not false. sent17: if the dabbing Hillel occurs then the intercommunion does not occur and the hydrophilicness occurs. sent18: the non-alphanumericsness and the compromising parasite occurs if the medicine occurs. sent19: if the dabbing counterattraction occurs and the lying happens the outside does not occur. sent20: both the compromising busybody and the compromising bolus happens. ; $proof$ = 
sent20 -> int1: the compromising busybody happens.; void -> assump1: Let's assume that the grant occurs.; int1 & assump1 -> int2: the compromising busybody and the grant happens.; int2 & sent14 -> int3: the Saturnalia does not occur.; void -> assump2: Let's assume that the Saturnalia occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the granting does not occur.; sent7 & sent12 -> int6: the wrangling does not occur and the obligationalness does not occur.; int6 -> int7: the wrangling does not occur.; sent16 & int7 -> int8: both the plagioclasticness and the shockableness occurs.; int8 -> int9: the shockableness occurs.; int5 & int9 -> int10: not the grant but the shockableness happens.; [assump2] & int10 -> hypothesis; __PROVED__