the fact that the cohesion and the excess occurs is wrong.
sent1: the tremble happens. sent2: the fact that the tameness does not occur is correct if the fact that the erasure occurs and/or the knitting happens is not true. sent3: the providentialness happens if the toot occurs. sent4: the barbarization does not occur if the fact that the barbarization happens and the cenobiticness occurs is not right. sent5: the knitting does not occur. sent6: that the erasure or the knitting or both happens does not hold if the Wake does not occur. sent7: that the cenobiticness happens results in that the uncomplimentariness happens. sent8: the cohesion happens if the uncomplimentariness occurs. sent9: that the cenobiticness does not occur and the tameness does not occur does not hold. sent10: the hiding occurs. sent11: the knitting is prevented by that the Wake does not occur. sent12: that either the unchasteness happens or the Satanicness happens or both does not hold. sent13: the excess occurs and the hiding occurs. sent14: the Wake does not occur.
sent6 & sent14 -> int1: the fact that the erasure and/or the knitting occurs is incorrect.; int1 & sent2 -> int2: the taming does not occur.; void -> assump1: Let's assume that the cenobiticness does not occur.; int2 & assump1 -> int3: the cenobiticness does not occur and the taming does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cenobiticness occurs.; int5 & sent7 -> int6: the uncomplimentariness occurs.; int6 & sent8 -> int7: the cohesion happens.; sent13 -> int8: the excess occurs.; int7 & int8 -> hypothesis;
the anatomicness does not occur and the barbarization does not occur.
$hypothesis$ = the fact that the cohesion and the excess occurs is wrong. ; $context$ = sent1: the tremble happens. sent2: the fact that the tameness does not occur is correct if the fact that the erasure occurs and/or the knitting happens is not true. sent3: the providentialness happens if the toot occurs. sent4: the barbarization does not occur if the fact that the barbarization happens and the cenobiticness occurs is not right. sent5: the knitting does not occur. sent6: that the erasure or the knitting or both happens does not hold if the Wake does not occur. sent7: that the cenobiticness happens results in that the uncomplimentariness happens. sent8: the cohesion happens if the uncomplimentariness occurs. sent9: that the cenobiticness does not occur and the tameness does not occur does not hold. sent10: the hiding occurs. sent11: the knitting is prevented by that the Wake does not occur. sent12: that either the unchasteness happens or the Satanicness happens or both does not hold. sent13: the excess occurs and the hiding occurs. sent14: the Wake does not occur. ; $proof$ = 
sent6 & sent14 -> int1: the fact that the erasure and/or the knitting occurs is incorrect.; int1 & sent2 -> int2: the taming does not occur.; void -> assump1: Let's assume that the cenobiticness does not occur.; int2 & assump1 -> int3: the cenobiticness does not occur and the taming does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cenobiticness occurs.; int5 & sent7 -> int6: the uncomplimentariness occurs.; int6 & sent8 -> int7: the cohesion happens.; sent13 -> int8: the excess occurs.; int7 & int8 -> hypothesis; __DISPROVED__