the fact that that the lashing does not occur yields that the warming cadetship happens or the palavering occurs or both does not hold.
sent1: that the drinking onomancer occurs brings about either that the ferialness occurs or that the Split occurs or both. sent2: if the fact that the warming pruning does not occur and the salamandriformness does not occur is wrong the preemption occurs. sent3: the nourishment occurs. sent4: that if the punctualness happens the warming cadetship occurs is true. sent5: that the quack does not occur and the audiometricness does not occur brings about the lashing. sent6: if that that the carbonating light-o'-love does not occur and the verbalness does not occur is right does not hold the fact that the preemption occurs is not wrong. sent7: the reshuffling does not occur and the carbonating light-o'-love does not occur. sent8: the genicness yields either the moon-worship or that the crosstalk happens or both. sent9: that both the quacking and the non-audiometricness happens is false. sent10: the strike occurs if the steepness happens. sent11: the interstitialness and/or the warming individualization happens. sent12: if that the quacking does not occur and the audiometricness does not occur is incorrect the punctualness occurs. sent13: the carbonating autoplasty happens.
void -> assump2: Let's assume that the quacking does not occur and the audiometricness does not occur.; sent5 & assump2 -> int1: the lash happens.; void -> assump1: Let's assume that the lashing does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the quack does not occur and the audiometricness does not occur is wrong.; sent12 & int3 -> int4: the punctualness happens.; sent4 & int4 -> int5: the warming cadetship occurs.; int5 -> int6: either the warming cadetship occurs or the palavering happens or both.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that that the lashing does not occur yields that the warming cadetship happens or the palavering occurs or both does not hold. ; $context$ = sent1: that the drinking onomancer occurs brings about either that the ferialness occurs or that the Split occurs or both. sent2: if the fact that the warming pruning does not occur and the salamandriformness does not occur is wrong the preemption occurs. sent3: the nourishment occurs. sent4: that if the punctualness happens the warming cadetship occurs is true. sent5: that the quack does not occur and the audiometricness does not occur brings about the lashing. sent6: if that that the carbonating light-o'-love does not occur and the verbalness does not occur is right does not hold the fact that the preemption occurs is not wrong. sent7: the reshuffling does not occur and the carbonating light-o'-love does not occur. sent8: the genicness yields either the moon-worship or that the crosstalk happens or both. sent9: that both the quacking and the non-audiometricness happens is false. sent10: the strike occurs if the steepness happens. sent11: the interstitialness and/or the warming individualization happens. sent12: if that the quacking does not occur and the audiometricness does not occur is incorrect the punctualness occurs. sent13: the carbonating autoplasty happens. ; $proof$ = 
void -> assump2: Let's assume that the quacking does not occur and the audiometricness does not occur.; sent5 & assump2 -> int1: the lash happens.; void -> assump1: Let's assume that the lashing does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the quack does not occur and the audiometricness does not occur is wrong.; sent12 & int3 -> int4: the punctualness happens.; sent4 & int4 -> int5: the warming cadetship occurs.; int5 -> int6: either the warming cadetship occurs or the palavering happens or both.; [assump1] & int6 -> hypothesis; __DISPROVED__