the fact that if that the bargain does not occur or the rampaging does not occur or both is not right then the fact that the barbarizing falsification does not occur is not wrong is not right.
sent1: the grouping jute occurs. sent2: the barbarizing incineration does not occur and/or the unoriginalness does not occur. sent3: if that the barbarizing falsification does not occur and the grouping jute does not occur does not hold then the theist does not occur. sent4: that the bargaining does not occur is caused by that both the barbarizing falsification and the grouping jute happens. sent5: the fact that the lightning does not occur and/or the barbarizing escargot does not occur is not right. sent6: the pouring warship occurs or the erection does not occur or both. sent7: the rampage and the bargaining happens if the pawning does not occur. sent8: if the Caliphate occurs and the buteonineness occurs the fact that the barbarizing Plotinus does not occur is true. sent9: the bargaining happens. sent10: if the fact that the nonmagneticness and/or the non-romaicness occurs does not hold the music does not occur. sent11: the supervisoriness does not occur. sent12: the grouping resurrection does not occur or the barbarizing escargot happens or both. sent13: the grouping underestimate does not occur and the piezoelectricness does not occur if the overturning moonfish does not occur. sent14: the operative does not occur if that the barbarizing bedding does not occur and/or the overturning harpist occurs does not hold. sent15: if the bargaining occurs that that the barbarizing falsification does not occur and the grouping jute does not occur is not incorrect is false. sent16: if the fact that the stapedectomy does not occur and the ultrasound occurs does not hold then the pawn does not occur. sent17: the topspin occurs. sent18: the fact that the stapedectomy does not occur but the ultrasound occurs is not right if the piezoelectricness does not occur.
void -> assump1: Let's assume that the fact that the barbarizing falsification occurs is not wrong.; assump1 & sent1 -> int1: the barbarizing falsification and the grouping jute occurs.; sent4 & int1 -> int2: the bargaining does not occur.; int2 -> int3: either the bargaining does not occur or the rampage does not occur or both.; void -> assump2: Let's assume that that either the bargaining does not occur or the rampaging does not occur or both is wrong.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the barbarizing falsification does not occur.; [assump2] & int5 -> hypothesis;
the theist does not occur.
$hypothesis$ = the fact that if that the bargain does not occur or the rampaging does not occur or both is not right then the fact that the barbarizing falsification does not occur is not wrong is not right. ; $context$ = sent1: the grouping jute occurs. sent2: the barbarizing incineration does not occur and/or the unoriginalness does not occur. sent3: if that the barbarizing falsification does not occur and the grouping jute does not occur does not hold then the theist does not occur. sent4: that the bargaining does not occur is caused by that both the barbarizing falsification and the grouping jute happens. sent5: the fact that the lightning does not occur and/or the barbarizing escargot does not occur is not right. sent6: the pouring warship occurs or the erection does not occur or both. sent7: the rampage and the bargaining happens if the pawning does not occur. sent8: if the Caliphate occurs and the buteonineness occurs the fact that the barbarizing Plotinus does not occur is true. sent9: the bargaining happens. sent10: if the fact that the nonmagneticness and/or the non-romaicness occurs does not hold the music does not occur. sent11: the supervisoriness does not occur. sent12: the grouping resurrection does not occur or the barbarizing escargot happens or both. sent13: the grouping underestimate does not occur and the piezoelectricness does not occur if the overturning moonfish does not occur. sent14: the operative does not occur if that the barbarizing bedding does not occur and/or the overturning harpist occurs does not hold. sent15: if the bargaining occurs that that the barbarizing falsification does not occur and the grouping jute does not occur is not incorrect is false. sent16: if the fact that the stapedectomy does not occur and the ultrasound occurs does not hold then the pawn does not occur. sent17: the topspin occurs. sent18: the fact that the stapedectomy does not occur but the ultrasound occurs is not right if the piezoelectricness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the barbarizing falsification occurs is not wrong.; assump1 & sent1 -> int1: the barbarizing falsification and the grouping jute occurs.; sent4 & int1 -> int2: the bargaining does not occur.; int2 -> int3: either the bargaining does not occur or the rampage does not occur or both.; void -> assump2: Let's assume that that either the bargaining does not occur or the rampaging does not occur or both is wrong.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the barbarizing falsification does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__