if the sparkle happens then the admitting occurs.
sent1: if the fact that both the handing and the non-intransitiveness happens is wrong then the handing does not occur. sent2: that the sparkling does not occur prevents the excise. sent3: the fact that not the metatarsalness but the categoricness happens does not hold if the tornado does not occur. sent4: if the landing does not occur that the hand but not the intransitiveness happens does not hold. sent5: the fact that the tornado does not occur is not false if the fact that both the cholangiography and the ushering syndrome occurs is not right. sent6: the landing does not occur. sent7: that if the handing does not occur that the admitting occurs and the reenlistment occurs does not hold hold. sent8: the fact that the sparkling does not occur if the fact that the non-metatarsalness and the categoricness occurs is not correct is right. sent9: if the sparkle occurs and the embowering tear does not occur the fact that the admitting happens is correct. sent10: the embowering tear does not occur. sent11: if the fact that the admitting and the reenlistment happens does not hold the admitting does not occur.
void -> assump1: Let's assume that the sparkling happens.; assump1 & sent10 -> int1: the sparkle happens and the embowering tear does not occur.; sent9 & int1 -> int2: the fact that the admitting happens is true.; [assump1] & int2 -> hypothesis;
the whirlpool but not the excise happens.
sent4 & sent6 -> int3: that both the handing and the transitiveness occurs is not true.; sent1 & int3 -> int4: the hand does not occur.; sent7 & int4 -> int5: the fact that the admitting happens and the reenlistment occurs is not correct.; sent11 & int5 -> int6: that the admitting does not occur hold.;
$hypothesis$ = if the sparkle happens then the admitting occurs. ; $context$ = sent1: if the fact that both the handing and the non-intransitiveness happens is wrong then the handing does not occur. sent2: that the sparkling does not occur prevents the excise. sent3: the fact that not the metatarsalness but the categoricness happens does not hold if the tornado does not occur. sent4: if the landing does not occur that the hand but not the intransitiveness happens does not hold. sent5: the fact that the tornado does not occur is not false if the fact that both the cholangiography and the ushering syndrome occurs is not right. sent6: the landing does not occur. sent7: that if the handing does not occur that the admitting occurs and the reenlistment occurs does not hold hold. sent8: the fact that the sparkling does not occur if the fact that the non-metatarsalness and the categoricness occurs is not correct is right. sent9: if the sparkle occurs and the embowering tear does not occur the fact that the admitting happens is correct. sent10: the embowering tear does not occur. sent11: if the fact that the admitting and the reenlistment happens does not hold the admitting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sparkling happens.; assump1 & sent10 -> int1: the sparkle happens and the embowering tear does not occur.; sent9 & int1 -> int2: the fact that the admitting happens is true.; [assump1] & int2 -> hypothesis; __PROVED__