the mesoblasticness does not occur.
sent1: if that the Somalianness happens but the axing viceroyalty does not occur is false the mesoblasticness occurs. sent2: if the non-revivalisticness and/or the non-antediluvianness happens then the axing viceroyalty does not occur. sent3: if the axing viceroyalty or the non-Somalianness or both happens then that the anticlimacticness does not occur is not wrong. sent4: the Somalianness does not occur.
void -> assump1: Let's assume that the Somalianness but not the axing viceroyalty happens.; assump1 -> int1: that the Somalianness occurs hold.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Somalian but not the axing viceroyalty happens is not correct.; sent1 & int3 -> hypothesis;
the mesoblasticness does not occur.
$hypothesis$ = the mesoblasticness does not occur. ; $context$ = sent1: if that the Somalianness happens but the axing viceroyalty does not occur is false the mesoblasticness occurs. sent2: if the non-revivalisticness and/or the non-antediluvianness happens then the axing viceroyalty does not occur. sent3: if the axing viceroyalty or the non-Somalianness or both happens then that the anticlimacticness does not occur is not wrong. sent4: the Somalianness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Somalianness but not the axing viceroyalty happens.; assump1 -> int1: that the Somalianness occurs hold.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Somalian but not the axing viceroyalty happens is not correct.; sent1 & int3 -> hypothesis; __DISPROVED__