the mutilation does not occur and the uncertainness happens.
sent1: the expedientness does not occur but the configuring tape occurs if the hermeneuticsness happens. sent2: that the boniness does not occur is caused by that the joinery happens and the hermeneuticsness happens. sent3: the hermeneuticsness does not occur if the reunion happens. sent4: the laxative does not occur if the colloquium happens. sent5: if the reunion occurs then the joinery and the non-hermeneuticsness occurs. sent6: if that that the disunifying woodenness does not occur and the colloquium does not occur is false is not wrong the laxativeness does not occur. sent7: if the joinery and the non-hermeneuticsness happens then that the boniness does not occur is not incorrect. sent8: if the tabulation does not occur then not the mutilation but the uncertainness happens. sent9: the hermeneuticsness does not occur. sent10: the uncertainness occurs if the tabulation does not occur. sent11: the reunion occurs if the fact that not the tabulation but the Hispanic occurs does not hold. sent12: if the Hispanicness does not occur then the reunion occurs. sent13: the fact that the disunifying woodenness does not occur and the colloquium does not occur is false. sent14: if the laxativeness does not occur the waterproofing happens. sent15: the uncertainness occurs.
void -> assump1: Let's assume that that not the tabulation but the Hispanic happens does not hold.; sent11 & assump1 -> int1: the reunion happens.; int1 & sent5 -> int2: the joinery occurs and the hermeneuticsness does not occur.; int2 & sent7 -> int3: the boniness does not occur.; sent6 & sent13 -> int4: the fact that the laxativeness does not occur is true.;
not the expedient but the configuring tape happens.
$hypothesis$ = the mutilation does not occur and the uncertainness happens. ; $context$ = sent1: the expedientness does not occur but the configuring tape occurs if the hermeneuticsness happens. sent2: that the boniness does not occur is caused by that the joinery happens and the hermeneuticsness happens. sent3: the hermeneuticsness does not occur if the reunion happens. sent4: the laxative does not occur if the colloquium happens. sent5: if the reunion occurs then the joinery and the non-hermeneuticsness occurs. sent6: if that that the disunifying woodenness does not occur and the colloquium does not occur is false is not wrong the laxativeness does not occur. sent7: if the joinery and the non-hermeneuticsness happens then that the boniness does not occur is not incorrect. sent8: if the tabulation does not occur then not the mutilation but the uncertainness happens. sent9: the hermeneuticsness does not occur. sent10: the uncertainness occurs if the tabulation does not occur. sent11: the reunion occurs if the fact that not the tabulation but the Hispanic occurs does not hold. sent12: if the Hispanicness does not occur then the reunion occurs. sent13: the fact that the disunifying woodenness does not occur and the colloquium does not occur is false. sent14: if the laxativeness does not occur the waterproofing happens. sent15: the uncertainness occurs. ; $proof$ = 
void -> assump1: Let's assume that that not the tabulation but the Hispanic happens does not hold.; sent11 & assump1 -> int1: the reunion happens.; int1 & sent5 -> int2: the joinery occurs and the hermeneuticsness does not occur.; int2 & sent7 -> int3: the boniness does not occur.; sent6 & sent13 -> int4: the fact that the laxativeness does not occur is true.; __UNKNOWN__