the protectorship happens.
sent1: the nontaxableness happens if that the nontaxableness does not occur and the gilding docket does not occur does not hold. sent2: that the non-postglacialness and the stabbing Heliobacter happens is incorrect if the elysianness happens. sent3: the unsociableness does not occur if the fact that the non-postglacialness and the stabbing Heliobacter occurs does not hold. sent4: if both the Hebraicness and the non-light-dutyness occurs the prohibition does not occur. sent5: if the protectorship does not occur then the fact that the gilding Lydian and the Education happens is not right. sent6: that the gilding Lydian occurs and the Education does not occur is wrong if that the protectorship does not occur is not false. sent7: if either the liplessness happens or the postwarness occurs or both then the stabbing undergarment does not occur. sent8: that the elysianness happens and the prostatectomy occurs is triggered by that the stabbing undergarment does not occur. sent9: if the nontaxableness occurs then the fact that the protectorship occurs but the Bantoidness does not occur is incorrect. sent10: the Bantoidness is prevented by that the Education happens. sent11: if that the gilding Lydian happens but the Education does not occur is false the Bantoidness does not occur. sent12: the fact that the gilding Lydian occurs and the Education happens does not hold. sent13: the postwarness occurs and the outerness happens if the prohibition does not occur. sent14: the Bantoidness occurs. sent15: the fact that the nontaxableness does not occur and the gilding docket does not occur is not correct if the unsociableness does not occur.
void -> assump1: Let's assume that that the protectorship does not occur is not incorrect.; sent6 & assump1 -> int1: the fact that the gilding Lydian but not the Education occurs is not true.; int1 & sent11 -> int2: the Bantoidness does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the protectorship does not occur.
$hypothesis$ = the protectorship happens. ; $context$ = sent1: the nontaxableness happens if that the nontaxableness does not occur and the gilding docket does not occur does not hold. sent2: that the non-postglacialness and the stabbing Heliobacter happens is incorrect if the elysianness happens. sent3: the unsociableness does not occur if the fact that the non-postglacialness and the stabbing Heliobacter occurs does not hold. sent4: if both the Hebraicness and the non-light-dutyness occurs the prohibition does not occur. sent5: if the protectorship does not occur then the fact that the gilding Lydian and the Education happens is not right. sent6: that the gilding Lydian occurs and the Education does not occur is wrong if that the protectorship does not occur is not false. sent7: if either the liplessness happens or the postwarness occurs or both then the stabbing undergarment does not occur. sent8: that the elysianness happens and the prostatectomy occurs is triggered by that the stabbing undergarment does not occur. sent9: if the nontaxableness occurs then the fact that the protectorship occurs but the Bantoidness does not occur is incorrect. sent10: the Bantoidness is prevented by that the Education happens. sent11: if that the gilding Lydian happens but the Education does not occur is false the Bantoidness does not occur. sent12: the fact that the gilding Lydian occurs and the Education happens does not hold. sent13: the postwarness occurs and the outerness happens if the prohibition does not occur. sent14: the Bantoidness occurs. sent15: the fact that the nontaxableness does not occur and the gilding docket does not occur is not correct if the unsociableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the protectorship does not occur is not incorrect.; sent6 & assump1 -> int1: the fact that the gilding Lydian but not the Education occurs is not true.; int1 & sent11 -> int2: the Bantoidness does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__