that if the autarchicness happens then the extroversiveness happens but the allomerism does not occur is not right.
sent1: the fact that the jamming does not occur is not wrong if the detribalizing pomade and the maintaining litter happens. sent2: both the soberness and the non-autotomicness happens. sent3: the detribalizing pomade does not occur but the maintaining litter occurs. sent4: the maintaining wardrobe and the success occurs. sent5: that the extroversiveness does not occur is prevented by that the maintaining wardrobe but not the jamming occurs. sent6: if the detribalizing pomade does not occur but the maintaining litter happens then the jamming does not occur. sent7: the sobering does not occur if the autarchicness occurs and the allomerism occurs.
void -> assump1: Let's assume that the autarchicness happens.; void -> assump2: Let's assume that the allomerism occurs.; assump1 & assump2 -> int1: both the autarchicness and the allomerism happens.; int1 & sent7 -> int2: the sobering does not occur.; sent2 -> int3: the soberness happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the allomerism does not occur.; sent4 -> int6: the maintaining wardrobe happens.; sent6 & sent3 -> int7: the jamming does not occur.; int6 & int7 -> int8: the maintaining wardrobe but not the jamming occurs.; sent5 & int8 -> int9: the extroversiveness occurs.; int5 & int9 -> int10: the extroversiveness but not the allomerism happens.; [assump1] & int10 -> hypothesis;
$hypothesis$ = that if the autarchicness happens then the extroversiveness happens but the allomerism does not occur is not right. ; $context$ = sent1: the fact that the jamming does not occur is not wrong if the detribalizing pomade and the maintaining litter happens. sent2: both the soberness and the non-autotomicness happens. sent3: the detribalizing pomade does not occur but the maintaining litter occurs. sent4: the maintaining wardrobe and the success occurs. sent5: that the extroversiveness does not occur is prevented by that the maintaining wardrobe but not the jamming occurs. sent6: if the detribalizing pomade does not occur but the maintaining litter happens then the jamming does not occur. sent7: the sobering does not occur if the autarchicness occurs and the allomerism occurs. ; $proof$ = 
void -> assump1: Let's assume that the autarchicness happens.; void -> assump2: Let's assume that the allomerism occurs.; assump1 & assump2 -> int1: both the autarchicness and the allomerism happens.; int1 & sent7 -> int2: the sobering does not occur.; sent2 -> int3: the soberness happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the allomerism does not occur.; sent4 -> int6: the maintaining wardrobe happens.; sent6 & sent3 -> int7: the jamming does not occur.; int6 & int7 -> int8: the maintaining wardrobe but not the jamming occurs.; sent5 & int8 -> int9: the extroversiveness occurs.; int5 & int9 -> int10: the extroversiveness but not the allomerism happens.; [assump1] & int10 -> hypothesis; __DISPROVED__