the trundling nibbed causes that the tectonicsness does not occur.
sent1: if the trundling strophanthus occurs and the trundling nibbed occurs then the tectonicsness happens. sent2: that the tectonicsness occurs is prevented by that the trundling strophanthus happens and the trundling nibbed happens. sent3: the monisticness and/or the non-Tibetanness is triggered by that the latestness occurs. sent4: if the trundling strophanthus does not occur then the clearing occurs. sent5: if the honorableness does not occur then both the non-Homericness and the nonphotosyntheticness happens. sent6: that the tryst occurs is caused by that the latestness does not occur. sent7: that the latest happens is brought about by the conserve. sent8: that both the protesting sangaree and the non-unhappiness happens is triggered by the protesting Defoe. sent9: that the honorableness does not occur is not false. sent10: the mark does not occur and the unhappiness occurs. sent11: that the paste does not occur prevents that the protesting cholecystectomy does not occur. sent12: if the tectonicsness happens the fact that not the trundling nibbed but the mark occurs is not correct. sent13: the tectonicsness happens if the protesting sangaree but not the unhappiness occurs. sent14: if the Homericness does not occur both the conserve and the elastic occurs.
void -> assump2: Let's assume that the trundling strophanthus does not occur.; sent4 & assump2 -> int1: the clearing happens.; sent10 -> int2: the mark does not occur.;
the daciticness does not occur.
sent5 & sent9 -> int3: the Homericness does not occur and the nonphotosyntheticness happens.; int3 -> int4: the Homericness does not occur.; sent14 & int4 -> int5: the conserving and the elastic occurs.; int5 -> int6: that the conserving happens hold.; sent7 & int6 -> int7: the latestness occurs.; sent3 & int7 -> int8: either the monisticness or the non-Tibetanness or both occurs.;
$hypothesis$ = the trundling nibbed causes that the tectonicsness does not occur. ; $context$ = sent1: if the trundling strophanthus occurs and the trundling nibbed occurs then the tectonicsness happens. sent2: that the tectonicsness occurs is prevented by that the trundling strophanthus happens and the trundling nibbed happens. sent3: the monisticness and/or the non-Tibetanness is triggered by that the latestness occurs. sent4: if the trundling strophanthus does not occur then the clearing occurs. sent5: if the honorableness does not occur then both the non-Homericness and the nonphotosyntheticness happens. sent6: that the tryst occurs is caused by that the latestness does not occur. sent7: that the latest happens is brought about by the conserve. sent8: that both the protesting sangaree and the non-unhappiness happens is triggered by the protesting Defoe. sent9: that the honorableness does not occur is not false. sent10: the mark does not occur and the unhappiness occurs. sent11: that the paste does not occur prevents that the protesting cholecystectomy does not occur. sent12: if the tectonicsness happens the fact that not the trundling nibbed but the mark occurs is not correct. sent13: the tectonicsness happens if the protesting sangaree but not the unhappiness occurs. sent14: if the Homericness does not occur both the conserve and the elastic occurs. ; $proof$ = 
void -> assump2: Let's assume that the trundling strophanthus does not occur.; sent4 & assump2 -> int1: the clearing happens.; sent10 -> int2: the mark does not occur.; __UNKNOWN__