the spearing triggers that the Apocryphalness happens.
sent1: the stifling crux does not occur if both the spear and the beggary happens. sent2: the plump occurs. sent3: the plantarness or the non-abnormalness or both prevents the unscalableness. sent4: that the remaindering rockers happens or the narration does not occur or both prevents that the confrontationalness does not occur. sent5: both the rendering statement and the wrenching happens. sent6: if the disregard does not occur then the beggary happens. sent7: that the abnormalness does not occur is correct. sent8: that the beggary happens is caused by that the plump occurs or the disregard does not occur or both. sent9: if the stifling crux does not occur the eulogizing frontierswoman occurs. sent10: the plump or the disregard or both occurs. sent11: the stifling semibreve occurs if the algorithm does not occur. sent12: the fact that the partisanness happens is true. sent13: the eulogizing diamagnet happens. sent14: the feathering occurs. sent15: the rendering Geophilus occurs. sent16: the rollover happens if the senatorship does not occur.
void -> assump1: Let's assume that the spear happens.; sent2 -> int1: the plump happens or the disregard does not occur or both.; sent8 & int1 -> int2: the beggary happens.; assump1 & int2 -> int3: the spearing happens and the beggary occurs.; sent1 & int3 -> int4: the stifling crux does not occur.; sent9 & int4 -> int5: the eulogizing frontierswoman occurs.;
$hypothesis$ = the spearing triggers that the Apocryphalness happens. ; $context$ = sent1: the stifling crux does not occur if both the spear and the beggary happens. sent2: the plump occurs. sent3: the plantarness or the non-abnormalness or both prevents the unscalableness. sent4: that the remaindering rockers happens or the narration does not occur or both prevents that the confrontationalness does not occur. sent5: both the rendering statement and the wrenching happens. sent6: if the disregard does not occur then the beggary happens. sent7: that the abnormalness does not occur is correct. sent8: that the beggary happens is caused by that the plump occurs or the disregard does not occur or both. sent9: if the stifling crux does not occur the eulogizing frontierswoman occurs. sent10: the plump or the disregard or both occurs. sent11: the stifling semibreve occurs if the algorithm does not occur. sent12: the fact that the partisanness happens is true. sent13: the eulogizing diamagnet happens. sent14: the feathering occurs. sent15: the rendering Geophilus occurs. sent16: the rollover happens if the senatorship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spear happens.; sent2 -> int1: the plump happens or the disregard does not occur or both.; sent8 & int1 -> int2: the beggary happens.; assump1 & int2 -> int3: the spearing happens and the beggary occurs.; sent1 & int3 -> int4: the stifling crux does not occur.; sent9 & int4 -> int5: the eulogizing frontierswoman occurs.; __UNKNOWN__