if the expensiveness does not occur the realigning mead occurs and the officializing nationalization occurs.
sent1: if the elbowing trichodesmium does not occur the realigning mead does not occur and the officializing nationalization occurs. sent2: that the officializing parish does not occur and the mottling does not occur is caused by the non-topographicalness. sent3: that the curtsying happens and the officializing Diplopterygium does not occur is caused by that the scouting does not occur. sent4: the realigning mead occurs if the fact that the bowdlerization happens is right. sent5: that the officializing parish does not occur and the mottling does not occur prevents that the elbowing trichodesmium occurs. sent6: the officializing nationalization happens. sent7: the Cuban does not occur if that not the expensiveness but the bowdlerization happens is wrong. sent8: the nutation does not occur and the topographicalness does not occur if the officializing Diplopterygium does not occur. sent9: if the expensiveness does not occur then the bowdlerization occurs.
void -> assump1: Let's assume that the expensiveness does not occur.; sent9 & assump1 -> int1: the bowdlerization happens.; int1 & sent4 -> int2: the realigning mead happens.; int2 & sent6 -> int3: both the realigning mead and the officializing nationalization happens.; [assump1] & int3 -> hypothesis;
the Cubanness does not occur.
$hypothesis$ = if the expensiveness does not occur the realigning mead occurs and the officializing nationalization occurs. ; $context$ = sent1: if the elbowing trichodesmium does not occur the realigning mead does not occur and the officializing nationalization occurs. sent2: that the officializing parish does not occur and the mottling does not occur is caused by the non-topographicalness. sent3: that the curtsying happens and the officializing Diplopterygium does not occur is caused by that the scouting does not occur. sent4: the realigning mead occurs if the fact that the bowdlerization happens is right. sent5: that the officializing parish does not occur and the mottling does not occur prevents that the elbowing trichodesmium occurs. sent6: the officializing nationalization happens. sent7: the Cuban does not occur if that not the expensiveness but the bowdlerization happens is wrong. sent8: the nutation does not occur and the topographicalness does not occur if the officializing Diplopterygium does not occur. sent9: if the expensiveness does not occur then the bowdlerization occurs. ; $proof$ = 
void -> assump1: Let's assume that the expensiveness does not occur.; sent9 & assump1 -> int1: the bowdlerization happens.; int1 & sent4 -> int2: the realigning mead happens.; int2 & sent6 -> int3: both the realigning mead and the officializing nationalization happens.; [assump1] & int3 -> hypothesis; __PROVED__