that that the fact that the slum but not the guarding Baptists happens is not right hold if the fact that the have does not occur is true is not right.
sent1: the schematizing does not occur. sent2: the have occurs if the sigmoidectomy happens. sent3: the sigmoidectomy happens if the fact that the moderatorship does not occur and the guarding unattractiveness happens does not hold. sent4: the fact that the escort does not occur is correct. sent5: if the subsiding staff does not occur then the fact that that the hero occurs and the guarding ogre occurs is not wrong is wrong. sent6: the guarding absorbent does not occur if the moderatorship does not occur and the guarding unattractiveness occurs. sent7: the hydrocephalicness does not occur if both the moonlitness and the mitoticness occurs. sent8: if the front does not occur then the fact that the accordantness occurs and the sidestep occurs does not hold. sent9: the wintriness does not occur. sent10: that the auto-da-fe does not occur is caused by that not the interpolation but the carbonaceousness occurs. sent11: that the slum but not the guarding Baptists happens does not hold if the guarding absorbent does not occur. sent12: if that the hubbub happens is correct the fact that the lobateness happens is not false. sent13: the fact that the moderatorship does not occur is not false.
void -> assump2: Let's assume that the fact that not the moderatorship but the guarding unattractiveness occurs is incorrect.; sent3 & assump2 -> int1: the sigmoidectomy happens.; sent2 & int1 -> int2: the have happens.; void -> assump1: Let's assume that the having does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: not the moderatorship but the guarding unattractiveness occurs.; sent6 & int4 -> int5: the fact that the guarding absorbent does not occur is not wrong.; sent11 & int5 -> int6: the fact that the slumming occurs and the guarding Baptists does not occur does not hold.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that that the fact that the slum but not the guarding Baptists happens is not right hold if the fact that the have does not occur is true is not right. ; $context$ = sent1: the schematizing does not occur. sent2: the have occurs if the sigmoidectomy happens. sent3: the sigmoidectomy happens if the fact that the moderatorship does not occur and the guarding unattractiveness happens does not hold. sent4: the fact that the escort does not occur is correct. sent5: if the subsiding staff does not occur then the fact that that the hero occurs and the guarding ogre occurs is not wrong is wrong. sent6: the guarding absorbent does not occur if the moderatorship does not occur and the guarding unattractiveness occurs. sent7: the hydrocephalicness does not occur if both the moonlitness and the mitoticness occurs. sent8: if the front does not occur then the fact that the accordantness occurs and the sidestep occurs does not hold. sent9: the wintriness does not occur. sent10: that the auto-da-fe does not occur is caused by that not the interpolation but the carbonaceousness occurs. sent11: that the slum but not the guarding Baptists happens does not hold if the guarding absorbent does not occur. sent12: if that the hubbub happens is correct the fact that the lobateness happens is not false. sent13: the fact that the moderatorship does not occur is not false. ; $proof$ = 
void -> assump2: Let's assume that the fact that not the moderatorship but the guarding unattractiveness occurs is incorrect.; sent3 & assump2 -> int1: the sigmoidectomy happens.; sent2 & int1 -> int2: the have happens.; void -> assump1: Let's assume that the having does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: not the moderatorship but the guarding unattractiveness occurs.; sent6 & int4 -> int5: the fact that the guarding absorbent does not occur is not wrong.; sent11 & int5 -> int6: the fact that the slumming occurs and the guarding Baptists does not occur does not hold.; [assump1] & int6 -> hypothesis; __DISPROVED__