the dueness occurs if the phallicness happens.
sent1: the extension happens if the flick happens. sent2: either the non-phallicness or that the anticancerness happens or both prevents the non-anticancerness. sent3: the yielding happens if the exilicness occurs. sent4: the due does not occur if that both the superfetation and the due happens is false. sent5: the non-dueness is prevented by the emoting tableland. sent6: that the emoting tableland happens is triggered by the phallicness. sent7: the numerologicalness prevents the changeableness. sent8: if the rating happens then the indexing happens. sent9: the denationalizing Scythia happens if the drinking kob occurs. sent10: the prognathousness happens. sent11: the drinking greenmarket happens if the fact that the backgammon happens is correct. sent12: the psychoanalyticalness happens. sent13: the apposition causes that the heartlessness occurs. sent14: the bombing happens if the fact that the denationalizing sax happens is not incorrect. sent15: if the meatlessness happens then the dictatorialness occurs. sent16: the heartlessness happens. sent17: that the predominating occurs and the phallicness occurs is triggered by that the emoting tableland does not occur.
void -> assump1: Let's assume that the phallicness happens.; sent6 & assump1 -> int1: the emoting tableland happens.; sent5 & int1 -> int2: the due happens.; [assump1] & int2 -> hypothesis;
the anticancerness happens.
$hypothesis$ = the dueness occurs if the phallicness happens. ; $context$ = sent1: the extension happens if the flick happens. sent2: either the non-phallicness or that the anticancerness happens or both prevents the non-anticancerness. sent3: the yielding happens if the exilicness occurs. sent4: the due does not occur if that both the superfetation and the due happens is false. sent5: the non-dueness is prevented by the emoting tableland. sent6: that the emoting tableland happens is triggered by the phallicness. sent7: the numerologicalness prevents the changeableness. sent8: if the rating happens then the indexing happens. sent9: the denationalizing Scythia happens if the drinking kob occurs. sent10: the prognathousness happens. sent11: the drinking greenmarket happens if the fact that the backgammon happens is correct. sent12: the psychoanalyticalness happens. sent13: the apposition causes that the heartlessness occurs. sent14: the bombing happens if the fact that the denationalizing sax happens is not incorrect. sent15: if the meatlessness happens then the dictatorialness occurs. sent16: the heartlessness happens. sent17: that the predominating occurs and the phallicness occurs is triggered by that the emoting tableland does not occur. ; $proof$ = 
void -> assump1: Let's assume that the phallicness happens.; sent6 & assump1 -> int1: the emoting tableland happens.; sent5 & int1 -> int2: the due happens.; [assump1] & int2 -> hypothesis; __PROVED__