if the trivializing Bellingham happens then that the fact that the canine does not occur and the calligraphicness does not occur is true does not hold.
sent1: the efficientness does not occur. sent2: that the trading does not occur and the Shuhaness does not occur is not true if the matriculation occurs. sent3: both the quarterly and the unretentiveness occurs. sent4: the pyloricness happens. sent5: that the trading does not occur and the bestowal does not occur is not right if the mortifying occurs. sent6: if the adequateness occurs then the fact that the knitting baldric happens but the filibustering does not occur does not hold. sent7: the fact that that the non-canineness and the non-calligraphicness happens is not true is right if the intonating occurs. sent8: the trivializing Bellingham happens if both the changeableness and the pyloricness occurs. sent9: if the changeableness does not occur then the fact that the breeding but not the cerebrospinalness occurs is not correct. sent10: the intonating occurs if the fact that the breeding occurs but the cerebrospinalness does not occur is false. sent11: if both the changeableness and the pyloricness occurs then the trivializing Bellingham does not occur. sent12: the fact that the ballottement happens is right. sent13: the numbering does not occur.
void -> assump1: Let's assume that the trivializing Bellingham occurs.; void -> assump2: Let's assume that the changeableness occurs.; assump2 & sent4 -> int1: the changeableness occurs and the pyloricness occurs.; sent11 & int1 -> int2: the trivializing Bellingham does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the changeableness does not occur.; sent9 & int4 -> int5: that the fact that the breeding occurs but the cerebrospinalness does not occur is incorrect hold.; sent10 & int5 -> int6: the intonating occurs.; sent7 & int6 -> int7: that the non-canineness and the non-calligraphicness happens is not right.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the trivializing Bellingham happens then that the fact that the canine does not occur and the calligraphicness does not occur is true does not hold. ; $context$ = sent1: the efficientness does not occur. sent2: that the trading does not occur and the Shuhaness does not occur is not true if the matriculation occurs. sent3: both the quarterly and the unretentiveness occurs. sent4: the pyloricness happens. sent5: that the trading does not occur and the bestowal does not occur is not right if the mortifying occurs. sent6: if the adequateness occurs then the fact that the knitting baldric happens but the filibustering does not occur does not hold. sent7: the fact that that the non-canineness and the non-calligraphicness happens is not true is right if the intonating occurs. sent8: the trivializing Bellingham happens if both the changeableness and the pyloricness occurs. sent9: if the changeableness does not occur then the fact that the breeding but not the cerebrospinalness occurs is not correct. sent10: the intonating occurs if the fact that the breeding occurs but the cerebrospinalness does not occur is false. sent11: if both the changeableness and the pyloricness occurs then the trivializing Bellingham does not occur. sent12: the fact that the ballottement happens is right. sent13: the numbering does not occur. ; $proof$ = 
void -> assump1: Let's assume that the trivializing Bellingham occurs.; void -> assump2: Let's assume that the changeableness occurs.; assump2 & sent4 -> int1: the changeableness occurs and the pyloricness occurs.; sent11 & int1 -> int2: the trivializing Bellingham does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the changeableness does not occur.; sent9 & int4 -> int5: that the fact that the breeding occurs but the cerebrospinalness does not occur is incorrect hold.; sent10 & int5 -> int6: the intonating occurs.; sent7 & int6 -> int7: that the non-canineness and the non-calligraphicness happens is not right.; [assump1] & int7 -> hypothesis; __PROVED__