that if the nonresistance occurs the concocting happens is incorrect.
sent1: the owning one-hundred-millionth happens. sent2: the owning lipoma does not occur and the squint does not occur. sent3: the manumission does not occur. sent4: the nonjudgmentalness occurs. sent5: the surpassing does not occur. sent6: the owning lipoma does not occur if the fearfulness occurs. sent7: that the owning Brownsville does not occur is caused by that the snorkeling and the formalizing daub happens. sent8: the owning mihrab occurs if the Mandaean does not occur and the cultivation does not occur. sent9: the reentry does not occur. sent10: that the situation does not occur is brought about by that the blunder happens. sent11: the fact that the nonviolentness does not occur is right if the nonresistance and the christianness happens. sent12: the junketeering does not occur. sent13: if both the bimodalness and the wheellessness occurs the actinomorphicness does not occur. sent14: the nonconformism happens if the moreness does not occur and the compromise does not occur. sent15: the provocation occurs. sent16: the undescriptiveness happens. sent17: that the unbracing happens is prevented by that the owning one-hundred-millionth happens. sent18: if the christianness does not occur and the unbracing does not occur the concocting occurs. sent19: the nonviolentness occurs. sent20: the beachhead does not occur if the low-tensionness and the bottomlessness occurs. sent21: the fact that the supertwister does not occur hold.
void -> assump2: Let's assume that the nonresistance happens.; void -> assump1: Let's assume that the christianness occurs.; assump2 & assump1 -> int1: the nonresistance and the christianness occurs.; int1 & sent11 -> int2: the nonviolentness does not occur.; int2 & sent19 -> int3: this is contradiction.; [assump1] & int3 -> int4: the christianness does not occur.; sent17 & sent1 -> int5: the unbracing does not occur.; int4 & int5 -> int6: the christianness does not occur and the unbracing does not occur.; int6 & sent18 -> int7: the concocting occurs.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that if the nonresistance occurs the concocting happens is incorrect. ; $context$ = sent1: the owning one-hundred-millionth happens. sent2: the owning lipoma does not occur and the squint does not occur. sent3: the manumission does not occur. sent4: the nonjudgmentalness occurs. sent5: the surpassing does not occur. sent6: the owning lipoma does not occur if the fearfulness occurs. sent7: that the owning Brownsville does not occur is caused by that the snorkeling and the formalizing daub happens. sent8: the owning mihrab occurs if the Mandaean does not occur and the cultivation does not occur. sent9: the reentry does not occur. sent10: that the situation does not occur is brought about by that the blunder happens. sent11: the fact that the nonviolentness does not occur is right if the nonresistance and the christianness happens. sent12: the junketeering does not occur. sent13: if both the bimodalness and the wheellessness occurs the actinomorphicness does not occur. sent14: the nonconformism happens if the moreness does not occur and the compromise does not occur. sent15: the provocation occurs. sent16: the undescriptiveness happens. sent17: that the unbracing happens is prevented by that the owning one-hundred-millionth happens. sent18: if the christianness does not occur and the unbracing does not occur the concocting occurs. sent19: the nonviolentness occurs. sent20: the beachhead does not occur if the low-tensionness and the bottomlessness occurs. sent21: the fact that the supertwister does not occur hold. ; $proof$ = 
void -> assump2: Let's assume that the nonresistance happens.; void -> assump1: Let's assume that the christianness occurs.; assump2 & assump1 -> int1: the nonresistance and the christianness occurs.; int1 & sent11 -> int2: the nonviolentness does not occur.; int2 & sent19 -> int3: this is contradiction.; [assump1] & int3 -> int4: the christianness does not occur.; sent17 & sent1 -> int5: the unbracing does not occur.; int4 & int5 -> int6: the christianness does not occur and the unbracing does not occur.; int6 & sent18 -> int7: the concocting occurs.; [assump2] & int7 -> hypothesis; __DISPROVED__