the roasting happens if the panning oilpaper occurs.
sent1: if the Confucianness occurs then the dreaming tinsel happens. sent2: if the contemptuousness occurs then the benison happens. sent3: the vexing tinsel happens. sent4: if the fact that the anureticness occurs is correct then the unsocialness happens. sent5: the vexing overburden occurs. sent6: the humoralness occurs. sent7: if the fact that the concourse happens is not incorrect the mush occurs. sent8: if the incorrigibleness happens the heavy happens. sent9: that the quickstep does not occur is prevented by that the Eritreanness happens. sent10: if the paintableness happens then the fact that the panning doubt occurs is true. sent11: the roasting occurs if the superhumanness happens. sent12: the plosion yields that the view happens. sent13: if that the recovery occurs is correct the regressiveness happens. sent14: the panning Orlando happens. sent15: if the panning oilpaper happens the superhumanness occurs. sent16: the dent happens.
void -> assump1: Let's assume that the panning oilpaper occurs.; sent15 & assump1 -> int1: the superhumanness happens.; int1 & sent11 -> int2: the roasting occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the roasting happens if the panning oilpaper occurs. ; $context$ = sent1: if the Confucianness occurs then the dreaming tinsel happens. sent2: if the contemptuousness occurs then the benison happens. sent3: the vexing tinsel happens. sent4: if the fact that the anureticness occurs is correct then the unsocialness happens. sent5: the vexing overburden occurs. sent6: the humoralness occurs. sent7: if the fact that the concourse happens is not incorrect the mush occurs. sent8: if the incorrigibleness happens the heavy happens. sent9: that the quickstep does not occur is prevented by that the Eritreanness happens. sent10: if the paintableness happens then the fact that the panning doubt occurs is true. sent11: the roasting occurs if the superhumanness happens. sent12: the plosion yields that the view happens. sent13: if that the recovery occurs is correct the regressiveness happens. sent14: the panning Orlando happens. sent15: if the panning oilpaper happens the superhumanness occurs. sent16: the dent happens. ; $proof$ = 
void -> assump1: Let's assume that the panning oilpaper occurs.; sent15 & assump1 -> int1: the superhumanness happens.; int1 & sent11 -> int2: the roasting occurs.; [assump1] & int2 -> hypothesis; __PROVED__