that either the aspirating occurs or the disintegrativeness occurs or both does not hold.
sent1: the Commerce occurs. sent2: that both the aspirate and the hashing coatee happens is brought about by that the positionableness does not occur. sent3: that either the irrigation or the preparation or both happens is incorrect. sent4: if the hashing onomasticon does not occur then the zygoticness happens. sent5: if the raving does not occur that the aspirate occurs and/or the disintegrativeness happens is not true. sent6: the paradiddle happens. sent7: if the hashing Dunkers occurs then the zygoticness does not occur. sent8: if the hashing coatee does not occur then the unplayableness occurs. sent9: if either the unplayableness or the hashing Dunkers or both occurs the zygoticness does not occur. sent10: the sequestering does not occur and the hashing onomasticon does not occur if the paradiddle happens. sent11: if the positionableness does not occur then the unplayableness happens. sent12: that the surgery does not occur triggers the biblessness. sent13: if the fact that the hashing coatee does not occur and/or the positionableness does not occur is false then the fact that the raving does not occur is true. sent14: if the tuning happens the fact that the hashing installment does not occur hold.
void -> assump1: Let's assume that either the hashing coatee does not occur or the positionableness does not occur or both.; assump1 & sent8 & sent11 -> int1: the fact that the unplayableness occurs hold.; int1 -> int2: the unplayableness happens or the hashing Dunkers happens or both.; int2 & sent9 -> int3: the fact that the zygoticness does not occur is right.; sent10 & sent6 -> int4: the sequestering does not occur and the hashing onomasticon does not occur.; int4 -> int5: the fact that the hashing onomasticon does not occur is not incorrect.; sent4 & int5 -> int6: the zygoticness happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the hashing coatee does not occur and/or the positionableness does not occur is not correct.; int8 & sent13 -> int9: the raving does not occur.; int9 & sent5 -> hypothesis;
the aspirate occurs or the disintegrativeness occurs or both.
$hypothesis$ = that either the aspirating occurs or the disintegrativeness occurs or both does not hold. ; $context$ = sent1: the Commerce occurs. sent2: that both the aspirate and the hashing coatee happens is brought about by that the positionableness does not occur. sent3: that either the irrigation or the preparation or both happens is incorrect. sent4: if the hashing onomasticon does not occur then the zygoticness happens. sent5: if the raving does not occur that the aspirate occurs and/or the disintegrativeness happens is not true. sent6: the paradiddle happens. sent7: if the hashing Dunkers occurs then the zygoticness does not occur. sent8: if the hashing coatee does not occur then the unplayableness occurs. sent9: if either the unplayableness or the hashing Dunkers or both occurs the zygoticness does not occur. sent10: the sequestering does not occur and the hashing onomasticon does not occur if the paradiddle happens. sent11: if the positionableness does not occur then the unplayableness happens. sent12: that the surgery does not occur triggers the biblessness. sent13: if the fact that the hashing coatee does not occur and/or the positionableness does not occur is false then the fact that the raving does not occur is true. sent14: if the tuning happens the fact that the hashing installment does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that either the hashing coatee does not occur or the positionableness does not occur or both.; assump1 & sent8 & sent11 -> int1: the fact that the unplayableness occurs hold.; int1 -> int2: the unplayableness happens or the hashing Dunkers happens or both.; int2 & sent9 -> int3: the fact that the zygoticness does not occur is right.; sent10 & sent6 -> int4: the sequestering does not occur and the hashing onomasticon does not occur.; int4 -> int5: the fact that the hashing onomasticon does not occur is not incorrect.; sent4 & int5 -> int6: the zygoticness happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the hashing coatee does not occur and/or the positionableness does not occur is not correct.; int8 & sent13 -> int9: the raving does not occur.; int9 & sent5 -> hypothesis; __PROVED__