the fact that either the leewardness occurs or the fearfulness does not occur or both does not hold.
sent1: the billiardness does not occur if the responding does not occur or the mortification occurs or both. sent2: both the desecrating roundhouse and the third happens if the repulsiveness does not occur. sent3: either the vault happens or the extrasystole does not occur or both. sent4: the non-stoloniferousness or the square or both happens if the hostilities happens. sent5: the fearfulness occurs. sent6: the responding does not occur if the stoloniferousness does not occur and/or the squaring occurs. sent7: either that the ribbing happens or the bardicness or both is triggered by the non-remediableness. sent8: the impiousness does not occur if either the draft occurs or the debarring receivership does not occur or both. sent9: that the debarring nimblewill does not occur is right if the fearfulness does not occur. sent10: that the leeward happens and/or the non-fearfulness prevents that the debarring nimblewill happens. sent11: if the billiardness does not occur then the grouping calculator happens and the debarring nimblewill happens. sent12: the leewardness and/or the non-fearfulness occurs if the grouping calculator occurs. sent13: that the repulsiveness happens is brought about by that the grouping calculator occurs. sent14: the debarring nimblewill happens. sent15: either the leeward or the fearfulness or both occurs. sent16: the prevention but not the remediableness occurs if the desecrating roundhouse happens.
void -> assump1: Let's assume that the leewardness and/or the non-fearfulness occurs.; sent10 & assump1 -> int1: the debarring nimblewill does not occur.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the repulsiveness occurs.
$hypothesis$ = the fact that either the leewardness occurs or the fearfulness does not occur or both does not hold. ; $context$ = sent1: the billiardness does not occur if the responding does not occur or the mortification occurs or both. sent2: both the desecrating roundhouse and the third happens if the repulsiveness does not occur. sent3: either the vault happens or the extrasystole does not occur or both. sent4: the non-stoloniferousness or the square or both happens if the hostilities happens. sent5: the fearfulness occurs. sent6: the responding does not occur if the stoloniferousness does not occur and/or the squaring occurs. sent7: either that the ribbing happens or the bardicness or both is triggered by the non-remediableness. sent8: the impiousness does not occur if either the draft occurs or the debarring receivership does not occur or both. sent9: that the debarring nimblewill does not occur is right if the fearfulness does not occur. sent10: that the leeward happens and/or the non-fearfulness prevents that the debarring nimblewill happens. sent11: if the billiardness does not occur then the grouping calculator happens and the debarring nimblewill happens. sent12: the leewardness and/or the non-fearfulness occurs if the grouping calculator occurs. sent13: that the repulsiveness happens is brought about by that the grouping calculator occurs. sent14: the debarring nimblewill happens. sent15: either the leeward or the fearfulness or both occurs. sent16: the prevention but not the remediableness occurs if the desecrating roundhouse happens. ; $proof$ = 
void -> assump1: Let's assume that the leewardness and/or the non-fearfulness occurs.; sent10 & assump1 -> int1: the debarring nimblewill does not occur.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__