that that the undertow occurs is prevented by that the scanning happens does not hold.
sent1: the jazzing happens. sent2: that the contemning kinsman does not occur is prevented by that the jazz occurs. sent3: the roentgenographicness happens. sent4: the fact that if the disclosure occurs then that the ferry does not occur and/or the undertow occurs is false hold. sent5: that both the contemning kinsman and the gerrymandering happens is brought about by that the scanning does not occur. sent6: that the pyroelectricness does not occur results in that the informativeness and the jazzing occurs. sent7: that the disclosure occurs and the contemning Ginkgoaceae occurs is brought about by that the tiling does not occur. sent8: the scanning does not occur if that the ferrying does not occur and/or the undertow happens is incorrect. sent9: the depravity happens. sent10: the undertow occurs if the contemning kinsman and the scanning occurs. sent11: the ciliariness happens. sent12: that the contemning kinsman happens and the scanning occurs results in that the undertow does not occur. sent13: if the contemning jolted occurs then the true-falseness occurs.
sent2 & sent1 -> int1: the contemning kinsman occurs.; void -> assump1: Let's assume that the scanning happens.; int1 & assump1 -> int2: that the contemning kinsman happens and the scanning happens is right.; sent12 & int2 -> int3: the undertow does not occur.; [assump1] & int3 -> hypothesis;
the gerrymander and the informativeness happens.
$hypothesis$ = that that the undertow occurs is prevented by that the scanning happens does not hold. ; $context$ = sent1: the jazzing happens. sent2: that the contemning kinsman does not occur is prevented by that the jazz occurs. sent3: the roentgenographicness happens. sent4: the fact that if the disclosure occurs then that the ferry does not occur and/or the undertow occurs is false hold. sent5: that both the contemning kinsman and the gerrymandering happens is brought about by that the scanning does not occur. sent6: that the pyroelectricness does not occur results in that the informativeness and the jazzing occurs. sent7: that the disclosure occurs and the contemning Ginkgoaceae occurs is brought about by that the tiling does not occur. sent8: the scanning does not occur if that the ferrying does not occur and/or the undertow happens is incorrect. sent9: the depravity happens. sent10: the undertow occurs if the contemning kinsman and the scanning occurs. sent11: the ciliariness happens. sent12: that the contemning kinsman happens and the scanning occurs results in that the undertow does not occur. sent13: if the contemning jolted occurs then the true-falseness occurs. ; $proof$ = 
sent2 & sent1 -> int1: the contemning kinsman occurs.; void -> assump1: Let's assume that the scanning happens.; int1 & assump1 -> int2: that the contemning kinsman happens and the scanning happens is right.; sent12 & int2 -> int3: the undertow does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__