the excusableness occurs.
sent1: if not the theming timberman but the commentating occurs then the pitcher does not occur. sent2: if not the theming methadone but the lexicostatisticsness occurs the knitting narrator does not occur. sent3: both the adjourning and the actinicness happens. sent4: if the CABG does not occur then the domesticity does not occur. sent5: the convertible and the champerty occurs. sent6: if the fictionalization does not occur both the excusableness and the theming timberman happens. sent7: the oratory does not occur if both the providentness and the knitting coup happens. sent8: if the pitcher does not occur the excusableness does not occur. sent9: the fictionalization happens. sent10: the theming suavity does not occur. sent11: the coating participle does not occur. sent12: the commentating occurs. sent13: the theming photoelectricity occurs. sent14: the powerlessness does not occur. sent15: the autopsying does not occur if the theming timberman and the fictionalization happens. sent16: the burlesque does not occur. sent17: the autopsy happens. sent18: the trivializing observatory occurs.
void -> assump1: Let's assume that the theming timberman happens.; assump1 & sent9 -> int1: the theming timberman happens and the fictionalization happens.; int1 & sent15 -> int2: the autopsying does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the theming timberman does not occur.; int4 & sent12 -> int5: the theming timberman does not occur and the commentating occurs.; int5 & sent1 -> int6: the pitcher does not occur.; int6 & sent8 -> hypothesis;
the excusableness happens.
$hypothesis$ = the excusableness occurs. ; $context$ = sent1: if not the theming timberman but the commentating occurs then the pitcher does not occur. sent2: if not the theming methadone but the lexicostatisticsness occurs the knitting narrator does not occur. sent3: both the adjourning and the actinicness happens. sent4: if the CABG does not occur then the domesticity does not occur. sent5: the convertible and the champerty occurs. sent6: if the fictionalization does not occur both the excusableness and the theming timberman happens. sent7: the oratory does not occur if both the providentness and the knitting coup happens. sent8: if the pitcher does not occur the excusableness does not occur. sent9: the fictionalization happens. sent10: the theming suavity does not occur. sent11: the coating participle does not occur. sent12: the commentating occurs. sent13: the theming photoelectricity occurs. sent14: the powerlessness does not occur. sent15: the autopsying does not occur if the theming timberman and the fictionalization happens. sent16: the burlesque does not occur. sent17: the autopsy happens. sent18: the trivializing observatory occurs. ; $proof$ = 
void -> assump1: Let's assume that the theming timberman happens.; assump1 & sent9 -> int1: the theming timberman happens and the fictionalization happens.; int1 & sent15 -> int2: the autopsying does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the theming timberman does not occur.; int4 & sent12 -> int5: the theming timberman does not occur and the commentating occurs.; int5 & sent1 -> int6: the pitcher does not occur.; int6 & sent8 -> hypothesis; __DISPROVED__