that not the overpowering largess but the extroversiveness happens is brought about by that the Aeschyleanness occurs.
sent1: the nasopharyngealness happens. sent2: both the extroversiveness and the nasopharyngealness occurs. sent3: the overpowering largess does not occur if that both the vulpineness and the non-Aeschyleanness occurs is wrong. sent4: both the vulpineness and the Aeschyleanness occurs.
void -> assump1: Let's assume that the vulpineness and the non-Aeschyleanness occurs.; assump1 -> int1: the Aeschyleanness does not occur.; void -> assump2: Let's assume that the Aeschyleanness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the vulpineness and the non-Aeschyleanness occurs is not right.; int3 & sent3 -> int4: that the overpowering largess does not occur hold.; sent2 -> int5: the extroversiveness happens.; int4 & int5 -> int6: the overpowering largess does not occur but the extroversiveness happens.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that not the overpowering largess but the extroversiveness happens is brought about by that the Aeschyleanness occurs. ; $context$ = sent1: the nasopharyngealness happens. sent2: both the extroversiveness and the nasopharyngealness occurs. sent3: the overpowering largess does not occur if that both the vulpineness and the non-Aeschyleanness occurs is wrong. sent4: both the vulpineness and the Aeschyleanness occurs. ; $proof$ = 
void -> assump1: Let's assume that the vulpineness and the non-Aeschyleanness occurs.; assump1 -> int1: the Aeschyleanness does not occur.; void -> assump2: Let's assume that the Aeschyleanness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the vulpineness and the non-Aeschyleanness occurs is not right.; int3 & sent3 -> int4: that the overpowering largess does not occur hold.; sent2 -> int5: the extroversiveness happens.; int4 & int5 -> int6: the overpowering largess does not occur but the extroversiveness happens.; [assump2] & int6 -> hypothesis; __PROVED__