both the deposing antiquary and the non-greenness happens.
sent1: if the extrasensoriness does not occur both the resubmitting authoritarian and the mitralness happens. sent2: if the evisceration does not occur the resubmitting sapphire does not occur and the extrasensoriness does not occur. sent3: that that the Kuroshio does not occur but the scotomatousness happens is not true is not wrong. sent4: that the evisceration and the non-intercostalness happens is not correct if that the flooding does not occur is true. sent5: that both the deposing antiquary and the non-greenness occurs is brought about by the Stoicness. sent6: the scotomatousness happens and/or the Kuroshio does not occur if the socializing occurs. sent7: if the resubmitting authoritarian occurs then the socializing occurs. sent8: the non-synestheticness and the acidimetricness occurs if the brightening occurs. sent9: if both the deposing antiquary and the non-greenness occurs then the scotomatousness happens. sent10: the brightening occurs. sent11: the greening does not occur. sent12: if the deposing antiquary and the greenness happens the scotomatousness occurs. sent13: the fact that the scotomatousness does not occur is not incorrect if the fact that the Kuroshio does not occur and the scotomatousness occurs is wrong. sent14: that if both the unfashionableness and the purchase happens the flood does not occur hold. sent15: the unfashionableness occurs if the acidimetricness happens. sent16: if that the evisceration happens but the intercostalness does not occur is not true then the evisceration does not occur.
void -> assump1: Let's assume that the deposing antiquary happens and the green does not occur.; sent9 & assump1 -> int1: the scotomatousness occurs.; sent13 & sent3 -> int2: the scotomatousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the deposing antiquary but not the green happens.
sent8 & sent10 -> int4: both the non-synestheticness and the acidimetricness occurs.; int4 -> int5: the acidimetricness occurs.; sent15 & int5 -> int6: the unfashionableness occurs.;
$hypothesis$ = both the deposing antiquary and the non-greenness happens. ; $context$ = sent1: if the extrasensoriness does not occur both the resubmitting authoritarian and the mitralness happens. sent2: if the evisceration does not occur the resubmitting sapphire does not occur and the extrasensoriness does not occur. sent3: that that the Kuroshio does not occur but the scotomatousness happens is not true is not wrong. sent4: that the evisceration and the non-intercostalness happens is not correct if that the flooding does not occur is true. sent5: that both the deposing antiquary and the non-greenness occurs is brought about by the Stoicness. sent6: the scotomatousness happens and/or the Kuroshio does not occur if the socializing occurs. sent7: if the resubmitting authoritarian occurs then the socializing occurs. sent8: the non-synestheticness and the acidimetricness occurs if the brightening occurs. sent9: if both the deposing antiquary and the non-greenness occurs then the scotomatousness happens. sent10: the brightening occurs. sent11: the greening does not occur. sent12: if the deposing antiquary and the greenness happens the scotomatousness occurs. sent13: the fact that the scotomatousness does not occur is not incorrect if the fact that the Kuroshio does not occur and the scotomatousness occurs is wrong. sent14: that if both the unfashionableness and the purchase happens the flood does not occur hold. sent15: the unfashionableness occurs if the acidimetricness happens. sent16: if that the evisceration happens but the intercostalness does not occur is not true then the evisceration does not occur. ; $proof$ = 
void -> assump1: Let's assume that the deposing antiquary happens and the green does not occur.; sent9 & assump1 -> int1: the scotomatousness occurs.; sent13 & sent3 -> int2: the scotomatousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__