the lough does underwrite supermom.
sent1: if something is both not Marxist and not Belgian then the bonesetter is not a kind of a counteroffensive. sent2: the facsimile is not an interviewee if the bonesetter is not presidential but it is an interviewee. sent3: something is not a kind of a counteroffensive. sent4: if the fact that the facsimile is both Czech and styleless does not hold then it is not presidential. sent5: something that is styleless is a kind of a counteroffensive. sent6: something is not a Belgian. sent7: if something is not presidential that it does underwrite Corday and it does underwrite supermom does not hold. sent8: the bonesetter is a counteroffensive but it does not underwrite Corday if that it underwrites supermom is true. sent9: if the bonesetter is a kind of a counteroffensive and does not underwrite Corday the fact that it is not presidential is not false. sent10: the fact that something does underwrite Corday but it is not a counteroffensive is not incorrect. sent11: something is both not Marxist and Belgian. sent12: the lough is nonracial if something that does not underwrite Corday is not a counteroffensive. sent13: the facsimile is not presidential if it is not a Czech. sent14: something is not a Marxist. sent15: there are non-Marxist and non-Belgian things. sent16: the supermom is not nonracial. sent17: something underwrites supermom if it is nonracial. sent18: there are Marxist and non-Belgian things. sent19: something does not underwrite Corday. sent20: the fact that the facsimile is both not non-Czech and styleless is not right. sent21: if the bonesetter does underwrite Corday the fact that the facsimile is presidential is not false. sent22: that something does not underwrite Corday but it is a counteroffensive hold. sent23: if that something underwrites Corday and it underwrites supermom is false it does not underwrites supermom.
void -> assump1: Let's assume that the bonesetter does underwrite Corday.; sent21 & assump1 -> int1: the fact that the facsimile is not presidential is incorrect.; sent4 & sent20 -> int2: the fact that the facsimile is not presidential is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bonesetter does not underwrite Corday.; sent15 & sent1 -> int5: the bonesetter is not a kind of a counteroffensive.; int4 & int5 -> int6: the bonesetter does not underwrite Corday and it is not a counteroffensive.; int6 -> int7: there exists something such that it does not underwrite Corday and it is not a counteroffensive.; int7 & sent12 -> int8: that the lough is nonracial is not false.; sent17 -> int9: the fact that the lough underwrites supermom is correct if it is nonracial.; int8 & int9 -> hypothesis;
the lough does not underwrite supermom.
sent23 -> int10: that the lough does not underwrite supermom is true if that it underwrites Corday and underwrite supermom is not correct.; sent7 -> int11: the fact that the lough does underwrite Corday and underwrites supermom is wrong if it is not presidential.;
$hypothesis$ = the lough does underwrite supermom. ; $context$ = sent1: if something is both not Marxist and not Belgian then the bonesetter is not a kind of a counteroffensive. sent2: the facsimile is not an interviewee if the bonesetter is not presidential but it is an interviewee. sent3: something is not a kind of a counteroffensive. sent4: if the fact that the facsimile is both Czech and styleless does not hold then it is not presidential. sent5: something that is styleless is a kind of a counteroffensive. sent6: something is not a Belgian. sent7: if something is not presidential that it does underwrite Corday and it does underwrite supermom does not hold. sent8: the bonesetter is a counteroffensive but it does not underwrite Corday if that it underwrites supermom is true. sent9: if the bonesetter is a kind of a counteroffensive and does not underwrite Corday the fact that it is not presidential is not false. sent10: the fact that something does underwrite Corday but it is not a counteroffensive is not incorrect. sent11: something is both not Marxist and Belgian. sent12: the lough is nonracial if something that does not underwrite Corday is not a counteroffensive. sent13: the facsimile is not presidential if it is not a Czech. sent14: something is not a Marxist. sent15: there are non-Marxist and non-Belgian things. sent16: the supermom is not nonracial. sent17: something underwrites supermom if it is nonracial. sent18: there are Marxist and non-Belgian things. sent19: something does not underwrite Corday. sent20: the fact that the facsimile is both not non-Czech and styleless is not right. sent21: if the bonesetter does underwrite Corday the fact that the facsimile is presidential is not false. sent22: that something does not underwrite Corday but it is a counteroffensive hold. sent23: if that something underwrites Corday and it underwrites supermom is false it does not underwrites supermom. ; $proof$ = 
void -> assump1: Let's assume that the bonesetter does underwrite Corday.; sent21 & assump1 -> int1: the fact that the facsimile is not presidential is incorrect.; sent4 & sent20 -> int2: the fact that the facsimile is not presidential is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bonesetter does not underwrite Corday.; sent15 & sent1 -> int5: the bonesetter is not a kind of a counteroffensive.; int4 & int5 -> int6: the bonesetter does not underwrite Corday and it is not a counteroffensive.; int6 -> int7: there exists something such that it does not underwrite Corday and it is not a counteroffensive.; int7 & sent12 -> int8: that the lough is nonracial is not false.; sent17 -> int9: the fact that the lough underwrites supermom is correct if it is nonracial.; int8 & int9 -> hypothesis; __PROVED__