that something is not a brewery is not right.
sent1: there exists something such that the fact that it does patronage plunge is not incorrect. sent2: the horsehair is not a kind of a brewery if the diaper multiplies horsehair and is shutting. sent3: something is croupy if it does poultice Provo. sent4: the East-sider is a brewery and/or it is Spartan. sent5: the enophile poultices Provo. sent6: the East-sider does unfasten low. sent7: the enophile does not poultice Provo if the East-sider is Spartan and/or it does not unfasten low. sent8: the horsehair is croupy if it is a brewery. sent9: there are shutting things. sent10: the fact that the horsehair is croupy hold. sent11: if the East-sider does poultice Provo and it does unfasten low the diaper is not shutting. sent12: the diaper is shutting. sent13: the enophile does not poultice Provo if the East-sider does not unfasten low. sent14: the gadfly is a kind of croupy thing that does multiply Alcott. sent15: the diaper is croupy if the fact that the East-sider is a Spartan and/or does not unfasten low is wrong. sent16: if the enophile does poultice Provo and/or it is not a kind of a brewery then that the horsehair is not shutting is right. sent17: the diaper is croupy if that the East-sider is a Spartan and/or it does unfasten low does not hold. sent18: the East-sider is croupy. sent19: the diaper does multiply horsehair if it is croupy. sent20: the horsehair does poultice Provo. sent21: The Provo poultices enophile.
void -> assump1: Let's assume that either the East-sider is a Spartan or it does not unfasten low or both.; sent7 & assump1 -> int1: the enophile does not poultice Provo.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the East-sider is a kind of a Spartan or it does not unfasten low or both is false.; int3 & sent15 -> int4: the diaper is croupy.; int4 & sent19 -> int5: the fact that the diaper multiplies horsehair is true.; int5 & sent12 -> int6: the diaper does multiply horsehair and is shutting.; int6 & sent2 -> int7: the horsehair is not a brewery.; int7 -> hypothesis;
the nark is a kind of a blindness and is a hike.
sent3 -> int8: the East-sider is croupy if it does poultice Provo.;
$hypothesis$ = that something is not a brewery is not right. ; $context$ = sent1: there exists something such that the fact that it does patronage plunge is not incorrect. sent2: the horsehair is not a kind of a brewery if the diaper multiplies horsehair and is shutting. sent3: something is croupy if it does poultice Provo. sent4: the East-sider is a brewery and/or it is Spartan. sent5: the enophile poultices Provo. sent6: the East-sider does unfasten low. sent7: the enophile does not poultice Provo if the East-sider is Spartan and/or it does not unfasten low. sent8: the horsehair is croupy if it is a brewery. sent9: there are shutting things. sent10: the fact that the horsehair is croupy hold. sent11: if the East-sider does poultice Provo and it does unfasten low the diaper is not shutting. sent12: the diaper is shutting. sent13: the enophile does not poultice Provo if the East-sider does not unfasten low. sent14: the gadfly is a kind of croupy thing that does multiply Alcott. sent15: the diaper is croupy if the fact that the East-sider is a Spartan and/or does not unfasten low is wrong. sent16: if the enophile does poultice Provo and/or it is not a kind of a brewery then that the horsehair is not shutting is right. sent17: the diaper is croupy if that the East-sider is a Spartan and/or it does unfasten low does not hold. sent18: the East-sider is croupy. sent19: the diaper does multiply horsehair if it is croupy. sent20: the horsehair does poultice Provo. sent21: The Provo poultices enophile. ; $proof$ = 
void -> assump1: Let's assume that either the East-sider is a Spartan or it does not unfasten low or both.; sent7 & assump1 -> int1: the enophile does not poultice Provo.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the East-sider is a kind of a Spartan or it does not unfasten low or both is false.; int3 & sent15 -> int4: the diaper is croupy.; int4 & sent19 -> int5: the fact that the diaper multiplies horsehair is true.; int5 & sent12 -> int6: the diaper does multiply horsehair and is shutting.; int6 & sent2 -> int7: the horsehair is not a brewery.; int7 -> hypothesis; __DISPROVED__