if the disembowelling aggravation occurs the downfall does not occur but the Tasmanianness occurs.
sent1: if the jobbing fluoridation and the yielding tailpiece occurs then the fact that the disembowelling aggravation does not occur is not false. sent2: the soothing does not occur if the Australasianness and the large happens. sent3: the fact that the yielding tailpiece happens is correct. sent4: if that not the zoicness but the arthroscopy occurs does not hold the arthroscopy does not occur. sent5: that the bloom occurs prevents that the Tasmanianness does not occur. sent6: either the judicialness occurs or the imitation happens or both. sent7: if that the compensation happens is right then the Tasmanianness occurs. sent8: the fact that the zoicness does not occur and the arthroscopy occurs does not hold. sent9: that the unappealableness happens is true. sent10: that the arthroscopy does not occur triggers that the compensation happens and/or the blooming happens. sent11: the publication does not occur. sent12: if the downfall occurs that the jobbing fluoridation occurs is true. sent13: if the fact that the downfall does not occur but the jobbing fluoridation occurs is incorrect then the scrotalness does not occur. sent14: the fact that the downfall does not occur and the jobbing fluoridation happens does not hold if the yielding tailpiece does not occur.
void -> assump2: Let's assume that the downfall occurs.; sent12 & assump2 -> int1: the jobbing fluoridation happens.; int1 & sent3 -> int2: the fact that both the jobbing fluoridation and the yielding tailpiece occurs hold.; int2 & sent1 -> int3: the disembowelling aggravation does not occur.; void -> assump1: Let's assume that the disembowelling aggravation occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the downfall does not occur.; sent4 & sent8 -> int6: the arthroscopy does not occur.; sent10 & int6 -> int7: the compensation occurs or the bloom occurs or both.; int7 & sent7 & sent5 -> int8: the Tasmanianness happens.; int5 & int8 -> int9: not the downfall but the Tasmanianness occurs.; [assump1] & int9 -> hypothesis;
the scrotalness does not occur.
$hypothesis$ = if the disembowelling aggravation occurs the downfall does not occur but the Tasmanianness occurs. ; $context$ = sent1: if the jobbing fluoridation and the yielding tailpiece occurs then the fact that the disembowelling aggravation does not occur is not false. sent2: the soothing does not occur if the Australasianness and the large happens. sent3: the fact that the yielding tailpiece happens is correct. sent4: if that not the zoicness but the arthroscopy occurs does not hold the arthroscopy does not occur. sent5: that the bloom occurs prevents that the Tasmanianness does not occur. sent6: either the judicialness occurs or the imitation happens or both. sent7: if that the compensation happens is right then the Tasmanianness occurs. sent8: the fact that the zoicness does not occur and the arthroscopy occurs does not hold. sent9: that the unappealableness happens is true. sent10: that the arthroscopy does not occur triggers that the compensation happens and/or the blooming happens. sent11: the publication does not occur. sent12: if the downfall occurs that the jobbing fluoridation occurs is true. sent13: if the fact that the downfall does not occur but the jobbing fluoridation occurs is incorrect then the scrotalness does not occur. sent14: the fact that the downfall does not occur and the jobbing fluoridation happens does not hold if the yielding tailpiece does not occur. ; $proof$ = 
void -> assump2: Let's assume that the downfall occurs.; sent12 & assump2 -> int1: the jobbing fluoridation happens.; int1 & sent3 -> int2: the fact that both the jobbing fluoridation and the yielding tailpiece occurs hold.; int2 & sent1 -> int3: the disembowelling aggravation does not occur.; void -> assump1: Let's assume that the disembowelling aggravation occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the downfall does not occur.; sent4 & sent8 -> int6: the arthroscopy does not occur.; sent10 & int6 -> int7: the compensation occurs or the bloom occurs or both.; int7 & sent7 & sent5 -> int8: the Tasmanianness happens.; int5 & int8 -> int9: not the downfall but the Tasmanianness occurs.; [assump1] & int9 -> hypothesis; __PROVED__