the fact that both the fat and the braggadocio happens is not correct.
sent1: if the deactivation happens or the compounding does not occur or both then the digitizing Xanthium happens. sent2: the unsaddling occurs. sent3: that the deactivation does not occur leads to that the fatness happens. sent4: if the lobbing lignin happens then the microwaving occurs. sent5: the lahar does not occur if the fact that the speech happens is not false. sent6: that the lahar happens is prevented by the digitizing terminal or the speech or both. sent7: if the compounding occurs then the nepotism occurs. sent8: that the Nicaraguanness happens is not wrong. sent9: the braggadocio occurs. sent10: the lahar happens. sent11: the compoundness happens if the deactivation happens. sent12: the digitizing terminal happens if the compounding happens. sent13: the strafe happens.
void -> assump1: Let's assume that the deactivation occurs.; sent11 & assump1 -> int1: the compoundness occurs.; int1 & sent12 -> int2: the digitizing terminal happens.; int2 -> int3: either the digitizing terminal happens or the speech occurs or both.; int3 & sent6 -> int4: the lahar does not occur.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deactivation does not occur.; int6 & sent3 -> int7: the fatness occurs.; int7 & sent9 -> hypothesis;
the fact that the fatness and the braggadocio happens does not hold.
 -> hypothesis;
$hypothesis$ = the fact that both the fat and the braggadocio happens is not correct. ; $context$ = sent1: if the deactivation happens or the compounding does not occur or both then the digitizing Xanthium happens. sent2: the unsaddling occurs. sent3: that the deactivation does not occur leads to that the fatness happens. sent4: if the lobbing lignin happens then the microwaving occurs. sent5: the lahar does not occur if the fact that the speech happens is not false. sent6: that the lahar happens is prevented by the digitizing terminal or the speech or both. sent7: if the compounding occurs then the nepotism occurs. sent8: that the Nicaraguanness happens is not wrong. sent9: the braggadocio occurs. sent10: the lahar happens. sent11: the compoundness happens if the deactivation happens. sent12: the digitizing terminal happens if the compounding happens. sent13: the strafe happens. ; $proof$ = 
void -> assump1: Let's assume that the deactivation occurs.; sent11 & assump1 -> int1: the compoundness occurs.; int1 & sent12 -> int2: the digitizing terminal happens.; int2 -> int3: either the digitizing terminal happens or the speech occurs or both.; int3 & sent6 -> int4: the lahar does not occur.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deactivation does not occur.; int6 & sent3 -> int7: the fatness occurs.; int7 & sent9 -> hypothesis; __DISPROVED__