the fact that that the coalition does not occur or that the identifying occurs or both is caused by that the brachiation occurs does not hold.
sent1: the sulphuricness does not occur. sent2: if the clawing saber does not occur the quirking happens and the brachiation does not occur. sent3: the brachiation occurs if the fact that the coalition does not occur and/or the identifying occurs is wrong. sent4: the brachiation does not occur if the coalition does not occur and/or the identifying happens. sent5: if the brachiation occurs the coalition happens or the identifying occurs or both. sent6: either the coalition or the identifying or both occurs. sent7: the exteroceptiveness happens. sent8: the cluttering does not occur. sent9: the bagging occurs. sent10: either the state does not occur or the avianness occurs or both if the year-roundness happens. sent11: if the fact that the corroding patty-pan but not the staleness happens is wrong the filtering does not occur. sent12: that the corroding verity happens and the Fahrenheit occurs is correct if the hesitation does not occur. sent13: both the non-armorialness and the clawing Musca occurs if the clapping cutout does not occur. sent14: the brachiation does not occur if the fact that either the coalition happens or the identifying happens or both is false. sent15: if the armorialness does not occur then that the corroding patty-pan and the non-staleness occurs is not true. sent16: the clapping Artamus does not occur and/or the corroding oeuvre occurs if the stringing happens. sent17: the brachiation does not occur if the fact that the coalition does not occur and/or the identifying happens is false. sent18: the coalition occurs. sent19: if the corroding verity occurs then the clawing saber does not occur. sent20: that the filtering does not occur results in that the hesitation does not occur but the peepshow happens. sent21: that the quirk occurs and the brachiation does not occur yields the string.
void -> assump2: Let's assume that the fact that the coalition does not occur or the identifying happens or both is not right.; sent17 & assump2 -> int1: the brachiation does not occur.; void -> assump1: Let's assume that the brachiation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the coalition does not occur or the identifying occurs or both.; [assump1] & int3 -> hypothesis;
the clapping Artamus does not occur and/or the corroding oeuvre occurs.
$hypothesis$ = the fact that that the coalition does not occur or that the identifying occurs or both is caused by that the brachiation occurs does not hold. ; $context$ = sent1: the sulphuricness does not occur. sent2: if the clawing saber does not occur the quirking happens and the brachiation does not occur. sent3: the brachiation occurs if the fact that the coalition does not occur and/or the identifying occurs is wrong. sent4: the brachiation does not occur if the coalition does not occur and/or the identifying happens. sent5: if the brachiation occurs the coalition happens or the identifying occurs or both. sent6: either the coalition or the identifying or both occurs. sent7: the exteroceptiveness happens. sent8: the cluttering does not occur. sent9: the bagging occurs. sent10: either the state does not occur or the avianness occurs or both if the year-roundness happens. sent11: if the fact that the corroding patty-pan but not the staleness happens is wrong the filtering does not occur. sent12: that the corroding verity happens and the Fahrenheit occurs is correct if the hesitation does not occur. sent13: both the non-armorialness and the clawing Musca occurs if the clapping cutout does not occur. sent14: the brachiation does not occur if the fact that either the coalition happens or the identifying happens or both is false. sent15: if the armorialness does not occur then that the corroding patty-pan and the non-staleness occurs is not true. sent16: the clapping Artamus does not occur and/or the corroding oeuvre occurs if the stringing happens. sent17: the brachiation does not occur if the fact that the coalition does not occur and/or the identifying happens is false. sent18: the coalition occurs. sent19: if the corroding verity occurs then the clawing saber does not occur. sent20: that the filtering does not occur results in that the hesitation does not occur but the peepshow happens. sent21: that the quirk occurs and the brachiation does not occur yields the string. ; $proof$ = 
void -> assump2: Let's assume that the fact that the coalition does not occur or the identifying happens or both is not right.; sent17 & assump2 -> int1: the brachiation does not occur.; void -> assump1: Let's assume that the brachiation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the coalition does not occur or the identifying occurs or both.; [assump1] & int3 -> hypothesis; __DISPROVED__