that there exists something such that if it is a Victorian it does not exceed gripe is wrong.
sent1: something is not campanulate if that it is not a daub and not rosaceous is not right. sent2: if the selector is bregmatic then it is not a Victorian. sent3: if that something is not bregmatic and it is non-frictional does not hold then it is not a Victorian. sent4: the fothergilla is non-ministerial thing that does not preempt custody. sent5: the fact that the selector is bregmatic but it is not frictional does not hold. sent6: that the selector is not the running if the fact that the selector is a kind of non-frictional thing that is not a kind of a Swiss is not correct is not incorrect. sent7: if the fact that something is not bregmatic and is not frictional is wrong then that it is Victorian is not wrong. sent8: if the LAN is a kind of a Alsatian then it is non-Victorian. sent9: that the selector is both bregmatic and not frictional is incorrect if it does exceed gripe. sent10: if that something is not off and is a potholer is false then it is not cross-sentential. sent11: the sunbonnet is not insignificant. sent12: if the fact that the selector is a kind of non-bregmatic thing that is not frictional is false that it is a kind of a Victorian is not incorrect. sent13: something exceeds gripe if it is a Victorian and/or it is not a kind of a Turk's-cap. sent14: that the selector is not bregmatic and is not frictional does not hold if it exceeds gripe. sent15: if something is bregmatic it is not a kind of a Victorian. sent16: if the hammertoe is non-cross-sentential the fact that the selector is not a kind of a dunk but it is a Turk's-cap is not true. sent17: if the selector is a kind of a Victorian the fact that it exceeds gripe is not wrong. sent18: if the Sphinx is glabellar then the fact that the hammertoe is not off but it is a potholer is not right. sent19: the Sphinx is glabellar if something is non-ministerial thing that does not preempt custody. sent20: there is something such that if it is a kind of a Victorian it exceeds gripe.
void -> assump2: Let's assume that the selector does exceed gripe.; sent14 & assump2 -> int1: that the selector is both not bregmatic and not frictional does not hold.; sent3 -> int2: if that the selector is both not bregmatic and non-frictional is not true the fact that it is non-Victorian is correct.; int1 & int2 -> int3: the selector is not a Victorian.; void -> assump1: Let's assume that the selector is a kind of a Victorian.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the selector does not exceed gripe.; [assump1] & int5 -> int6: the fact that the selector does not exceed gripe is right if it is a Victorian.; int6 -> hypothesis;
the genealogist does exceed gripe.
sent13 -> int7: that if the genealogist either is a kind of a Victorian or is not the Turk's-cap or both then the genealogist does exceed gripe is right.; sent10 -> int8: if that the hammertoe is not off but it is a potholer does not hold then it is not cross-sentential.; sent4 -> int9: something is not ministerial and does not preempt custody.; int9 & sent19 -> int10: the Sphinx is glabellar.; sent18 & int10 -> int11: the fact that the hammertoe is non-off a potholer is not true.; int8 & int11 -> int12: the hammertoe is not cross-sentential.; sent16 & int12 -> int13: the fact that the selector is not a dunk but it is a Turk's-cap is incorrect.; int13 -> int14: there is something such that that it does not dunk and it is a Turk's-cap is not right.;
$hypothesis$ = that there exists something such that if it is a Victorian it does not exceed gripe is wrong. ; $context$ = sent1: something is not campanulate if that it is not a daub and not rosaceous is not right. sent2: if the selector is bregmatic then it is not a Victorian. sent3: if that something is not bregmatic and it is non-frictional does not hold then it is not a Victorian. sent4: the fothergilla is non-ministerial thing that does not preempt custody. sent5: the fact that the selector is bregmatic but it is not frictional does not hold. sent6: that the selector is not the running if the fact that the selector is a kind of non-frictional thing that is not a kind of a Swiss is not correct is not incorrect. sent7: if the fact that something is not bregmatic and is not frictional is wrong then that it is Victorian is not wrong. sent8: if the LAN is a kind of a Alsatian then it is non-Victorian. sent9: that the selector is both bregmatic and not frictional is incorrect if it does exceed gripe. sent10: if that something is not off and is a potholer is false then it is not cross-sentential. sent11: the sunbonnet is not insignificant. sent12: if the fact that the selector is a kind of non-bregmatic thing that is not frictional is false that it is a kind of a Victorian is not incorrect. sent13: something exceeds gripe if it is a Victorian and/or it is not a kind of a Turk's-cap. sent14: that the selector is not bregmatic and is not frictional does not hold if it exceeds gripe. sent15: if something is bregmatic it is not a kind of a Victorian. sent16: if the hammertoe is non-cross-sentential the fact that the selector is not a kind of a dunk but it is a Turk's-cap is not true. sent17: if the selector is a kind of a Victorian the fact that it exceeds gripe is not wrong. sent18: if the Sphinx is glabellar then the fact that the hammertoe is not off but it is a potholer is not right. sent19: the Sphinx is glabellar if something is non-ministerial thing that does not preempt custody. sent20: there is something such that if it is a kind of a Victorian it exceeds gripe. ; $proof$ = 
void -> assump2: Let's assume that the selector does exceed gripe.; sent14 & assump2 -> int1: that the selector is both not bregmatic and not frictional does not hold.; sent3 -> int2: if that the selector is both not bregmatic and non-frictional is not true the fact that it is non-Victorian is correct.; int1 & int2 -> int3: the selector is not a Victorian.; void -> assump1: Let's assume that the selector is a kind of a Victorian.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the selector does not exceed gripe.; [assump1] & int5 -> int6: the fact that the selector does not exceed gripe is right if it is a Victorian.; int6 -> hypothesis; __DISPROVED__