that either the quarters does not occur or the psychosexualness does not occur or both is incorrect.
sent1: if the shove happens the subordinatingness happens. sent2: if the disclosure does not occur both the procurement and the unrentableness happens. sent3: either the quartering or the non-psychosexualness or both happens. sent4: the katabaticness occurs if the basalticness happens. sent5: the syllogizing exemplar happens. sent6: the Parthianness happens. sent7: the promising does not occur if the fact that the remonstrating NRO does not occur is correct. sent8: the neotenicness is prevented by that the scrutiny does not occur and/or that the canton does not occur. sent9: the knee-lengthness does not occur. sent10: that the disclosure and the unrentableness happens is caused by that the faro does not occur. sent11: that the rentableness and the subordinating occurs is not correct. sent12: if the fact that the unrentableness does not occur but the subordinating happens does not hold then the subordinating does not occur. sent13: either that the quartering does not occur or that the psychosexualness does not occur or both prevents that the procurement happens. sent14: the procurement does not occur if the quartering does not occur. sent15: if that the quartering and the procurement happens is false then the quartering does not occur. sent16: if the procurement does not occur the shoving occurs. sent17: that the tour does not occur and/or the imitation does not occur prevents the bathing.
void -> assump1: Let's assume that the quartering does not occur and/or the psychosexualness does not occur.; sent13 & assump1 -> int1: the procurement does not occur.; int1 & sent16 -> int2: the shoving happens.; int2 & sent1 -> int3: the subordinating happens.; sent12 & sent11 -> int4: the subordinatingness does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the quarters does not occur and/or the psychosexualness does not occur.
$hypothesis$ = that either the quarters does not occur or the psychosexualness does not occur or both is incorrect. ; $context$ = sent1: if the shove happens the subordinatingness happens. sent2: if the disclosure does not occur both the procurement and the unrentableness happens. sent3: either the quartering or the non-psychosexualness or both happens. sent4: the katabaticness occurs if the basalticness happens. sent5: the syllogizing exemplar happens. sent6: the Parthianness happens. sent7: the promising does not occur if the fact that the remonstrating NRO does not occur is correct. sent8: the neotenicness is prevented by that the scrutiny does not occur and/or that the canton does not occur. sent9: the knee-lengthness does not occur. sent10: that the disclosure and the unrentableness happens is caused by that the faro does not occur. sent11: that the rentableness and the subordinating occurs is not correct. sent12: if the fact that the unrentableness does not occur but the subordinating happens does not hold then the subordinating does not occur. sent13: either that the quartering does not occur or that the psychosexualness does not occur or both prevents that the procurement happens. sent14: the procurement does not occur if the quartering does not occur. sent15: if that the quartering and the procurement happens is false then the quartering does not occur. sent16: if the procurement does not occur the shoving occurs. sent17: that the tour does not occur and/or the imitation does not occur prevents the bathing. ; $proof$ = 
void -> assump1: Let's assume that the quartering does not occur and/or the psychosexualness does not occur.; sent13 & assump1 -> int1: the procurement does not occur.; int1 & sent16 -> int2: the shoving happens.; int2 & sent1 -> int3: the subordinating happens.; sent12 & sent11 -> int4: the subordinatingness does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__