there exists something such that that it is a kind of a weathercock and/or it is a one-and-one is not true.
sent1: if the glassblower is not a kind of a one-and-one then the pop is not a kind of a one-and-one. sent2: that the corporal is cathodic and is unawares is false. sent3: there is something such that that it is a one-and-one and/or is unawares is not true. sent4: the fact that the pop is cathodic and/or it is a kind of a one-and-one does not hold. sent5: that either the corporal is a vertical or it awards adventuress or both is incorrect if that the glassblower is not cathodic is correct. sent6: the corporal is cathodic. sent7: if the fact that the pop is not a weathercock is not false then the glassblower is not a one-and-one and it is non-unawares. sent8: if that the corporal is non-cathodic thing that is unawares is false then the fact that the glassblower is not a kind of a one-and-one is true. sent9: if something that is not a one-and-one is not unawares then it is not cathodic. sent10: there exists something such that it is not a weathercock. sent11: the pop is not a one-and-one. sent12: the antiviral is not non-cathodic. sent13: if the corporal is not a one-and-one the fact that the glassblower is unawares or a one-and-one or both is wrong. sent14: the fact that the corporal is a weathercock and/or is unawares is incorrect if the pop is not unawares. sent15: something is a weathercock or is a one-and-one or both. sent16: there exists something such that it is not a one-and-one. sent17: if that the corporal is non-unawares but it is a one-and-one is wrong the glassblower is not cathodic. sent18: there exists something such that the fact that it either is a weathercock or is unawares or both is not correct.
void -> assump1: Let's assume that the corporal is a kind of non-cathodic thing that is unawares.; assump1 -> int1: the corporal is not cathodic.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the corporal is not cathodic but it is unawares is not true.; sent8 & int3 -> int4: the glassblower is not a one-and-one.;
there exists something such that that that it is a vertical or it awards adventuress or both is not incorrect is wrong.
sent9 -> int5: that the glassblower is not cathodic hold if it is both not a one-and-one and not unawares.;
$hypothesis$ = there exists something such that that it is a kind of a weathercock and/or it is a one-and-one is not true. ; $context$ = sent1: if the glassblower is not a kind of a one-and-one then the pop is not a kind of a one-and-one. sent2: that the corporal is cathodic and is unawares is false. sent3: there is something such that that it is a one-and-one and/or is unawares is not true. sent4: the fact that the pop is cathodic and/or it is a kind of a one-and-one does not hold. sent5: that either the corporal is a vertical or it awards adventuress or both is incorrect if that the glassblower is not cathodic is correct. sent6: the corporal is cathodic. sent7: if the fact that the pop is not a weathercock is not false then the glassblower is not a one-and-one and it is non-unawares. sent8: if that the corporal is non-cathodic thing that is unawares is false then the fact that the glassblower is not a kind of a one-and-one is true. sent9: if something that is not a one-and-one is not unawares then it is not cathodic. sent10: there exists something such that it is not a weathercock. sent11: the pop is not a one-and-one. sent12: the antiviral is not non-cathodic. sent13: if the corporal is not a one-and-one the fact that the glassblower is unawares or a one-and-one or both is wrong. sent14: the fact that the corporal is a weathercock and/or is unawares is incorrect if the pop is not unawares. sent15: something is a weathercock or is a one-and-one or both. sent16: there exists something such that it is not a one-and-one. sent17: if that the corporal is non-unawares but it is a one-and-one is wrong the glassblower is not cathodic. sent18: there exists something such that the fact that it either is a weathercock or is unawares or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that the corporal is a kind of non-cathodic thing that is unawares.; assump1 -> int1: the corporal is not cathodic.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the corporal is not cathodic but it is unawares is not true.; sent8 & int3 -> int4: the glassblower is not a one-and-one.; __UNKNOWN__