the reflectiveness occurs and the internationalization happens.
sent1: if the budding does not occur the Senecanness does not occur and the seediness does not occur. sent2: that the bud and the dabbing cycloserine happens results in that the decapitation does not occur. sent3: the dabbing cycloserine occurs. sent4: that that the interstitialness does not occur triggers the fact that that the decapitation and the polyvalentness occurs hold is true. sent5: if the bud does not occur the seediness does not occur. sent6: if the Senecanness does not occur the reflectiveness and the internationalization happens. sent7: that the polyvalentness does not occur is prevented by the non-interstitialness. sent8: both the preparing Novosibirsk and the wintriness occurs. sent9: the reflectiveness occurs.
void -> assump1: Let's assume that the bud occurs.; assump1 & sent3 -> int1: the bud occurs and the dabbing cycloserine occurs.; int1 & sent2 -> int2: the decapitation does not occur.;
$hypothesis$ = the reflectiveness occurs and the internationalization happens. ; $context$ = sent1: if the budding does not occur the Senecanness does not occur and the seediness does not occur. sent2: that the bud and the dabbing cycloserine happens results in that the decapitation does not occur. sent3: the dabbing cycloserine occurs. sent4: that that the interstitialness does not occur triggers the fact that that the decapitation and the polyvalentness occurs hold is true. sent5: if the bud does not occur the seediness does not occur. sent6: if the Senecanness does not occur the reflectiveness and the internationalization happens. sent7: that the polyvalentness does not occur is prevented by the non-interstitialness. sent8: both the preparing Novosibirsk and the wintriness occurs. sent9: the reflectiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the bud occurs.; assump1 & sent3 -> int1: the bud occurs and the dabbing cycloserine occurs.; int1 & sent2 -> int2: the decapitation does not occur.; __UNKNOWN__