the muffing absolver does not occur if the muffing trickery happens.
sent1: if the destaining Stephen happens the Bam does not occur. sent2: that the elongating occurs and the medication occurs is caused by that the heat does not occur. sent3: that the sounding incinerator does not occur if that both the sounding incinerator and the non-rationalisticness occurs is false is right. sent4: if the fact that the compaction does not occur and the counterbombardment happens does not hold the churching does not occur. sent5: the inconsiderableness occurs. sent6: if the muffing trickery happens the attainment occurs. sent7: if the fact that the muffing up-bow occurs is right the muffing scaliness occurs. sent8: if the churching does not occur then the cabinetwork and the non-Unitarianness occurs. sent9: that the muffing absolver does not occur is triggered by that the mine happens. sent10: if the muffing scaliness occurs that the muffing absolver does not occur and the mine does not occur is false. sent11: if the fact that the elongating does not occur is not correct then that the sounding incinerator but not the rationalisticness occurs is not correct. sent12: the muffing up-bow happens if both the cabinetwork and the non-Unitarianness happens. sent13: the aeroliticness occurs. sent14: the mine and/or that the attainment occurs results in that the muffing absolver does not occur. sent15: if the ascensionalness does not occur and/or the dusting does not occur the heating does not occur. sent16: that the compaction does not occur and the counterbombardment happens is not right if the sounding incinerator does not occur.
void -> assump1: Let's assume that the muffing trickery occurs.; sent6 & assump1 -> int1: the attainment happens.; int1 -> int2: the mine and/or the attainment occurs.; sent14 & int2 -> int3: the muffing absolver does not occur.; [assump1] & int3 -> hypothesis;
the thriftiness happens.
$hypothesis$ = the muffing absolver does not occur if the muffing trickery happens. ; $context$ = sent1: if the destaining Stephen happens the Bam does not occur. sent2: that the elongating occurs and the medication occurs is caused by that the heat does not occur. sent3: that the sounding incinerator does not occur if that both the sounding incinerator and the non-rationalisticness occurs is false is right. sent4: if the fact that the compaction does not occur and the counterbombardment happens does not hold the churching does not occur. sent5: the inconsiderableness occurs. sent6: if the muffing trickery happens the attainment occurs. sent7: if the fact that the muffing up-bow occurs is right the muffing scaliness occurs. sent8: if the churching does not occur then the cabinetwork and the non-Unitarianness occurs. sent9: that the muffing absolver does not occur is triggered by that the mine happens. sent10: if the muffing scaliness occurs that the muffing absolver does not occur and the mine does not occur is false. sent11: if the fact that the elongating does not occur is not correct then that the sounding incinerator but not the rationalisticness occurs is not correct. sent12: the muffing up-bow happens if both the cabinetwork and the non-Unitarianness happens. sent13: the aeroliticness occurs. sent14: the mine and/or that the attainment occurs results in that the muffing absolver does not occur. sent15: if the ascensionalness does not occur and/or the dusting does not occur the heating does not occur. sent16: that the compaction does not occur and the counterbombardment happens is not right if the sounding incinerator does not occur. ; $proof$ = 
void -> assump1: Let's assume that the muffing trickery occurs.; sent6 & assump1 -> int1: the attainment happens.; int1 -> int2: the mine and/or the attainment occurs.; sent14 & int2 -> int3: the muffing absolver does not occur.; [assump1] & int3 -> hypothesis; __PROVED__