not the Belgian but the trigger happens.
sent1: that the combustible but not the tunneling permeability happens is wrong if the forbidding does not occur. sent2: if the mummifying does not occur then that the Belgianness happens and the trigger happens is not true. sent3: the fact that the vivisection does not occur is not wrong. sent4: the tunneling permeability happens. sent5: if that the mummifying happens hold that the vivisection does not occur is not wrong. sent6: that the tunneling Macoun does not occur yields that the combustible happens or that the reducing does not occur or both. sent7: the combustibleness occurs and/or the reducing does not occur. sent8: the debuting leverage occurs and/or the forbidding does not occur if the infectiousness happens. sent9: the anticlimacticness does not occur if that the navalness occurs and the anticlimacticness happens does not hold. sent10: that the tunneling Macoun does not occur and the vivisection does not occur is triggered by that the mummifying happens. sent11: if the debuting leverage happens or the forbidding does not occur or both then the forbidding does not occur. sent12: the tunneling Confederacy does not occur if the fact that both the tunneling Confederacy and the mummifying occurs is incorrect. sent13: if that the ecdemicness occurs and the furloughing underbelly happens is wrong then the monovalentness does not occur. sent14: if the sclaffing does not occur then that the navalness happens and the anticlimacticness occurs is not right. sent15: that the monovalentness does not occur causes that the scrimmaging and the special happens. sent16: the fact that that the tunneling Confederacy and the mummifying happens is not wrong is not true if the reducing does not occur. sent17: the noncombustibleness prevents that the tunneling permeability happens. sent18: if the anticlimacticness does not occur the infectiousness occurs and the appearing occurs. sent19: if the scrimmaging happens the fact that not the trigger but the reducing occurs does not hold. sent20: the trigger occurs if the fact that that not the trigger but the reducing occurs is not incorrect is not true. sent21: either the combustible does not occur or the reducing does not occur or both if that the tunneling Macoun does not occur is not wrong. sent22: if the mummifying does not occur the fact that not the Belgian but the trigger happens is not correct. sent23: if the combustible does not occur then the Belgianness does not occur and the mummifying does not occur. sent24: the tunneling permeability does not occur if the combustibleness does not occur and/or the reducing does not occur. sent25: that both the Belgian and the trigger happens does not hold.
void -> assump1: Let's assume that the mummifying happens.; sent10 & assump1 -> int1: the fact that the tunneling Macoun does not occur and the vivisection does not occur is true.; int1 -> int2: the tunneling Macoun does not occur.; int2 & sent21 -> int3: the combustible does not occur and/or the reducing does not occur.; int3 & sent24 -> int4: the tunneling permeability does not occur.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mummifying does not occur.; int6 & sent22 -> hypothesis;
the non-Belgianness and the triggering happens.
$hypothesis$ = not the Belgian but the trigger happens. ; $context$ = sent1: that the combustible but not the tunneling permeability happens is wrong if the forbidding does not occur. sent2: if the mummifying does not occur then that the Belgianness happens and the trigger happens is not true. sent3: the fact that the vivisection does not occur is not wrong. sent4: the tunneling permeability happens. sent5: if that the mummifying happens hold that the vivisection does not occur is not wrong. sent6: that the tunneling Macoun does not occur yields that the combustible happens or that the reducing does not occur or both. sent7: the combustibleness occurs and/or the reducing does not occur. sent8: the debuting leverage occurs and/or the forbidding does not occur if the infectiousness happens. sent9: the anticlimacticness does not occur if that the navalness occurs and the anticlimacticness happens does not hold. sent10: that the tunneling Macoun does not occur and the vivisection does not occur is triggered by that the mummifying happens. sent11: if the debuting leverage happens or the forbidding does not occur or both then the forbidding does not occur. sent12: the tunneling Confederacy does not occur if the fact that both the tunneling Confederacy and the mummifying occurs is incorrect. sent13: if that the ecdemicness occurs and the furloughing underbelly happens is wrong then the monovalentness does not occur. sent14: if the sclaffing does not occur then that the navalness happens and the anticlimacticness occurs is not right. sent15: that the monovalentness does not occur causes that the scrimmaging and the special happens. sent16: the fact that that the tunneling Confederacy and the mummifying happens is not wrong is not true if the reducing does not occur. sent17: the noncombustibleness prevents that the tunneling permeability happens. sent18: if the anticlimacticness does not occur the infectiousness occurs and the appearing occurs. sent19: if the scrimmaging happens the fact that not the trigger but the reducing occurs does not hold. sent20: the trigger occurs if the fact that that not the trigger but the reducing occurs is not incorrect is not true. sent21: either the combustible does not occur or the reducing does not occur or both if that the tunneling Macoun does not occur is not wrong. sent22: if the mummifying does not occur the fact that not the Belgian but the trigger happens is not correct. sent23: if the combustible does not occur then the Belgianness does not occur and the mummifying does not occur. sent24: the tunneling permeability does not occur if the combustibleness does not occur and/or the reducing does not occur. sent25: that both the Belgian and the trigger happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the mummifying happens.; sent10 & assump1 -> int1: the fact that the tunneling Macoun does not occur and the vivisection does not occur is true.; int1 -> int2: the tunneling Macoun does not occur.; int2 & sent21 -> int3: the combustible does not occur and/or the reducing does not occur.; int3 & sent24 -> int4: the tunneling permeability does not occur.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mummifying does not occur.; int6 & sent22 -> hypothesis; __DISPROVED__