the intransitive happens.
sent1: if the fact that the bulbaceousness does not occur is not wrong the politicizing happens. sent2: that the cumulonimbus and the Muscovite occurs is true. sent3: the cumulonimbus happens. sent4: if the fact that the lifting happens and the cumulonimbus happens is incorrect that the cumulonimbus does not occur is right. sent5: the colorcast happens if the exsiccating vaulting occurs. sent6: the intransitiveness occurs if the politicizing occurs. sent7: that the concentricness happens and the blinking happens prevents that the bulbaceousness happens. sent8: the fact that if the self-punishment does not occur that the fact that the lifting and the cumulonimbus occurs is not right is not wrong is not false. sent9: if the blinking does not occur not the redetermination but the ipsilateralness occurs. sent10: the self-punishment does not occur and the apostrophicness does not occur if the colorcasting occurs. sent11: the redetermination happens. sent12: if the Muscovite occurs then the concentricness occurs. sent13: the frock happens if the rapping phone-in does not occur. sent14: that the politicizing does not occur and the Muscoviteness does not occur is triggered by that the cumulonimbus does not occur. sent15: if the concentricness does not occur the non-intransitiveness and the blinking occurs.
void -> assump1: Let's assume that the blinking does not occur.; sent9 & assump1 -> int1: the redetermination does not occur and the ipsilateralness happens.; int1 -> int2: that the redetermination occurs does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blinking occurs.; sent2 -> int5: the Muscovite happens.; sent12 & int5 -> int6: the concentricness happens.; int4 & int6 -> int7: both the concentricness and the blinking happens.; int7 & sent7 -> int8: the bulbaceousness does not occur.; int8 & sent1 -> int9: the politicizing happens.; int9 & sent6 -> hypothesis;
the intransitiveness does not occur.
$hypothesis$ = the intransitive happens. ; $context$ = sent1: if the fact that the bulbaceousness does not occur is not wrong the politicizing happens. sent2: that the cumulonimbus and the Muscovite occurs is true. sent3: the cumulonimbus happens. sent4: if the fact that the lifting happens and the cumulonimbus happens is incorrect that the cumulonimbus does not occur is right. sent5: the colorcast happens if the exsiccating vaulting occurs. sent6: the intransitiveness occurs if the politicizing occurs. sent7: that the concentricness happens and the blinking happens prevents that the bulbaceousness happens. sent8: the fact that if the self-punishment does not occur that the fact that the lifting and the cumulonimbus occurs is not right is not wrong is not false. sent9: if the blinking does not occur not the redetermination but the ipsilateralness occurs. sent10: the self-punishment does not occur and the apostrophicness does not occur if the colorcasting occurs. sent11: the redetermination happens. sent12: if the Muscovite occurs then the concentricness occurs. sent13: the frock happens if the rapping phone-in does not occur. sent14: that the politicizing does not occur and the Muscoviteness does not occur is triggered by that the cumulonimbus does not occur. sent15: if the concentricness does not occur the non-intransitiveness and the blinking occurs. ; $proof$ = 
void -> assump1: Let's assume that the blinking does not occur.; sent9 & assump1 -> int1: the redetermination does not occur and the ipsilateralness happens.; int1 -> int2: that the redetermination occurs does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blinking occurs.; sent2 -> int5: the Muscovite happens.; sent12 & int5 -> int6: the concentricness happens.; int4 & int6 -> int7: both the concentricness and the blinking happens.; int7 & sent7 -> int8: the bulbaceousness does not occur.; int8 & sent1 -> int9: the politicizing happens.; int9 & sent6 -> hypothesis; __PROVED__