that the abruption occurs yields that both the non-multiformness and the articulatoriness happens.
sent1: if the campaigning does not occur the tweedling crumb occurs. sent2: that the priding does not occur hold. sent3: if that the multiformness happens is not false then the Bosnianness happens. sent4: the tweedling crumb happens. sent5: the mutativeness occurs. sent6: the campaigning does not occur. sent7: the preservation happens if the Bosnianness happens. sent8: both the fantan and the leakiness occurs. sent9: the abruption occurs if the preservation occurs. sent10: the abruption does not occur if that the preservation occurs is correct. sent11: that the articulatoriness does not occur and the abruption does not occur prevents the preservation.
void -> assump2: Let's assume that the multiformness occurs.; sent3 & assump2 -> int1: the Bosnianness happens.; int1 & sent7 -> int2: the preservation happens.; int2 & sent10 -> int3: the abruption does not occur.; void -> assump1: Let's assume that the abruption happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the multiformness does not occur.;
the dichromaticness happens.
$hypothesis$ = that the abruption occurs yields that both the non-multiformness and the articulatoriness happens. ; $context$ = sent1: if the campaigning does not occur the tweedling crumb occurs. sent2: that the priding does not occur hold. sent3: if that the multiformness happens is not false then the Bosnianness happens. sent4: the tweedling crumb happens. sent5: the mutativeness occurs. sent6: the campaigning does not occur. sent7: the preservation happens if the Bosnianness happens. sent8: both the fantan and the leakiness occurs. sent9: the abruption occurs if the preservation occurs. sent10: the abruption does not occur if that the preservation occurs is correct. sent11: that the articulatoriness does not occur and the abruption does not occur prevents the preservation. ; $proof$ = 
void -> assump2: Let's assume that the multiformness occurs.; sent3 & assump2 -> int1: the Bosnianness happens.; int1 & sent7 -> int2: the preservation happens.; int2 & sent10 -> int3: the abruption does not occur.; void -> assump1: Let's assume that the abruption happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the multiformness does not occur.; __UNKNOWN__