if the harmonizing occurs the crenelation occurs.
sent1: if that the vocationalness happens but the harmonizing does not occur does not hold the bocce happens. sent2: the vocationalness does not occur. sent3: that the fact that the shell happens and the heat does not occur is right is not true. sent4: if the bocce happens then the philandering hug does not occur. sent5: if the philandering hug does not occur then both the crenelation and the non-azoticness occurs. sent6: the azoticness does not occur. sent7: that the civicsness and the imperceptibleness happens yields the uninfluentialness. sent8: the blueing yolk occurs. sent9: the azoticness does not occur if the philandering hug does not occur.
void -> assump2: Let's assume that the vocationalness occurs and the harmonizing does not occur.; assump2 -> int1: that the harmonizing does not occur hold.; void -> assump1: Let's assume that the harmonizing happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the vocationalness but not the harmonizing happens is incorrect.; int3 & sent1 -> int4: the bocce happens.; int4 & sent4 -> int5: the philandering hug does not occur.; int5 & sent5 -> int6: the crenelation and the non-azoticness happens.; int6 -> int7: that the crenelation occurs is correct.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the harmonizing occurs the crenelation occurs. ; $context$ = sent1: if that the vocationalness happens but the harmonizing does not occur does not hold the bocce happens. sent2: the vocationalness does not occur. sent3: that the fact that the shell happens and the heat does not occur is right is not true. sent4: if the bocce happens then the philandering hug does not occur. sent5: if the philandering hug does not occur then both the crenelation and the non-azoticness occurs. sent6: the azoticness does not occur. sent7: that the civicsness and the imperceptibleness happens yields the uninfluentialness. sent8: the blueing yolk occurs. sent9: the azoticness does not occur if the philandering hug does not occur. ; $proof$ = 
void -> assump2: Let's assume that the vocationalness occurs and the harmonizing does not occur.; assump2 -> int1: that the harmonizing does not occur hold.; void -> assump1: Let's assume that the harmonizing happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the vocationalness but not the harmonizing happens is incorrect.; int3 & sent1 -> int4: the bocce happens.; int4 & sent4 -> int5: the philandering hug does not occur.; int5 & sent5 -> int6: the crenelation and the non-azoticness happens.; int6 -> int7: that the crenelation occurs is correct.; [assump1] & int7 -> hypothesis; __PROVED__