the Aramaic occurs if the cohabitation happens.
sent1: the fact that the carillon occurs hold. sent2: if the narrowing occurs then the comber does not occur and the cohabitation does not occur. sent3: if both the non-recombinantness and the passing Molotov occurs the Aramaicness happens. sent4: the spiel does not occur and the catoptricsness does not occur. sent5: if the huing Caligula occurs then the passing coronilla does not occur. sent6: the agribusiness does not occur and the oculism does not occur. sent7: if the honoring occurs the non-subordinateness and the disproportionateness occurs. sent8: that if the feverishness does not occur that the chopping happens but the narrowing does not occur does not hold is correct. sent9: the Aramaic occurs if the recombinantness does not occur and the passing Molotov does not occur. sent10: the narrowing happens if the fact that the chop but not the narrowing happens is not true. sent11: that the soft-shoe does not occur and the engulfing does not occur leads to the mews. sent12: the passing Borassus does not occur and the bed-hopping does not occur. sent13: that not the huing Caligula but the mews occurs yields the fetch. sent14: that not the huing frail but the Aramaic happens is caused by that the thinking happens. sent15: if the recombinant but not the passing Molotov occurs then the fact that the Aramaic happens is not wrong. sent16: the passing purism happens. sent17: the recombinant does not occur and the passing Molotov does not occur if the cohabitation occurs. sent18: the intermolecularness occurs.
void -> assump1: Let's assume that the cohabitation happens.; sent17 & assump1 -> int1: the recombinantness does not occur and the passing Molotov does not occur.; int1 & sent9 -> int2: the Aramaicness happens.; [assump1] & int2 -> hypothesis;
the huing frail does not occur and the comber does not occur.
$hypothesis$ = the Aramaic occurs if the cohabitation happens. ; $context$ = sent1: the fact that the carillon occurs hold. sent2: if the narrowing occurs then the comber does not occur and the cohabitation does not occur. sent3: if both the non-recombinantness and the passing Molotov occurs the Aramaicness happens. sent4: the spiel does not occur and the catoptricsness does not occur. sent5: if the huing Caligula occurs then the passing coronilla does not occur. sent6: the agribusiness does not occur and the oculism does not occur. sent7: if the honoring occurs the non-subordinateness and the disproportionateness occurs. sent8: that if the feverishness does not occur that the chopping happens but the narrowing does not occur does not hold is correct. sent9: the Aramaic occurs if the recombinantness does not occur and the passing Molotov does not occur. sent10: the narrowing happens if the fact that the chop but not the narrowing happens is not true. sent11: that the soft-shoe does not occur and the engulfing does not occur leads to the mews. sent12: the passing Borassus does not occur and the bed-hopping does not occur. sent13: that not the huing Caligula but the mews occurs yields the fetch. sent14: that not the huing frail but the Aramaic happens is caused by that the thinking happens. sent15: if the recombinant but not the passing Molotov occurs then the fact that the Aramaic happens is not wrong. sent16: the passing purism happens. sent17: the recombinant does not occur and the passing Molotov does not occur if the cohabitation occurs. sent18: the intermolecularness occurs. ; $proof$ = 
void -> assump1: Let's assume that the cohabitation happens.; sent17 & assump1 -> int1: the recombinantness does not occur and the passing Molotov does not occur.; int1 & sent9 -> int2: the Aramaicness happens.; [assump1] & int2 -> hypothesis; __PROVED__