the swelling does not occur if the aestheticsness happens.
sent1: the Somalianness and the swelling happens if the artfulness does not occur. sent2: if the swelling occurs then the non-aestheticsness and the non-transoceanicness happens. sent3: the continentness occurs. sent4: the coldness occurs. sent5: the swelling and the non-antemortemness happens if the worrying does not occur. sent6: the transoceanicness does not occur. sent7: if both the worrying and the non-amenorrheicness happens then the artfulness does not occur.
void -> assump2: Let's assume that the swelling occurs.; sent2 & assump2 -> int1: both the non-aestheticsness and the non-transoceanicness happens.; int1 -> int2: the aestheticsness does not occur.; void -> assump1: Let's assume that the aesthetics happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the swelling does not occur.; [assump1] & int4 -> hypothesis;
the antemortemness does not occur and the transgression does not occur.
$hypothesis$ = the swelling does not occur if the aestheticsness happens. ; $context$ = sent1: the Somalianness and the swelling happens if the artfulness does not occur. sent2: if the swelling occurs then the non-aestheticsness and the non-transoceanicness happens. sent3: the continentness occurs. sent4: the coldness occurs. sent5: the swelling and the non-antemortemness happens if the worrying does not occur. sent6: the transoceanicness does not occur. sent7: if both the worrying and the non-amenorrheicness happens then the artfulness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the swelling occurs.; sent2 & assump2 -> int1: both the non-aestheticsness and the non-transoceanicness happens.; int1 -> int2: the aestheticsness does not occur.; void -> assump1: Let's assume that the aesthetics happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the swelling does not occur.; [assump1] & int4 -> hypothesis; __PROVED__