that both the inefficientness and the non-carnalness occurs causes that the internationalization occurs.
sent1: the internationalization occurs if the non-carnalness or the hydrometry or both happens. sent2: the bayoneting Entebbe happens.
void -> assump1: Let's assume that the inefficientness and the non-carnalness happens.; assump1 -> int1: the carnalness does not occur.; int1 -> int2: either the non-carnalness or the hydrometry or both happens.; int2 & sent1 -> int3: the internationalization happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that both the inefficientness and the non-carnalness occurs causes that the internationalization occurs. ; $context$ = sent1: the internationalization occurs if the non-carnalness or the hydrometry or both happens. sent2: the bayoneting Entebbe happens. ; $proof$ = 
void -> assump1: Let's assume that the inefficientness and the non-carnalness happens.; assump1 -> int1: the carnalness does not occur.; int1 -> int2: either the non-carnalness or the hydrometry or both happens.; int2 & sent1 -> int3: the internationalization happens.; [assump1] & int3 -> hypothesis; __PROVED__