the ACE does not occur and the plumbaginaceousness happens.
sent1: the designing barony happens. sent2: the ACE does not occur if the fact that the designing barony does not occur and the roads happens is not true. sent3: the plumbaginaceousness occurs. sent4: not the stopover but the meshing sourball occurs. sent5: the Malaysian does not occur. sent6: the roads happens.
void -> assump1: Let's assume that the designing barony does not occur but the roads happens.; assump1 -> int1: the designing barony does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the designing barony but the roads happens is not correct.; int3 & sent2 -> int4: the ACE does not occur.; int4 & sent3 -> hypothesis;
$hypothesis$ = the ACE does not occur and the plumbaginaceousness happens. ; $context$ = sent1: the designing barony happens. sent2: the ACE does not occur if the fact that the designing barony does not occur and the roads happens is not true. sent3: the plumbaginaceousness occurs. sent4: not the stopover but the meshing sourball occurs. sent5: the Malaysian does not occur. sent6: the roads happens. ; $proof$ = 
void -> assump1: Let's assume that the designing barony does not occur but the roads happens.; assump1 -> int1: the designing barony does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the designing barony but the roads happens is not correct.; int3 & sent2 -> int4: the ACE does not occur.; int4 & sent3 -> hypothesis; __PROVED__