that the rabbi is pemphigous thing that is not a kind of a Utopian is incorrect.
sent1: that the Verdicchio is a scheme is not incorrect if it is not a kind of a compartmentalization. sent2: if the wineberry is not cytogenetic then the palliative is not a compartmentalization. sent3: that either the assayer is not a top or it does staple phosphorescence or both is true if there is something such that it does staple phosphorescence. sent4: something does not top if it is not a kind of a top and/or does staple phosphorescence. sent5: if there is something such that that it schemes and it is autogamous does not hold the rabbi is not a schemes. sent6: if the club-moss is cytogenetic but it is not a scheme the wineberry is not cytogenetic. sent7: the fact that the propman is not declarative but it staples phosphorescence is false. sent8: the Verdicchio is not a compartmentalization and/or it is not cytogenetic. sent9: the fact that the club-moss is a scheme and it is autogamous does not hold if there is something such that it is a kind of a top. sent10: that the wineberry is a kind of a compartmentalization but it is not cytogenetic does not hold if the rabbi is not a scheme. sent11: if the palliative is not a kind of a Utopian then the fact that the rabbi is autogamous and is not a Utopian is not right. sent12: the club-moss is not a kind of a scheme if there is something such that the fact that it is declarative and is viviparous is wrong. sent13: something is not a scheme if it is not cytogenetic. sent14: if that that the propman is non-declarative and does staple phosphorescence is correct is false then it is not viviparous. sent15: that the rabbi is pemphigous and it is a Utopian is not true. sent16: that the telpher does staple phosphorescence is not wrong. sent17: if that something is not hydrophilic is right then that it is declarative and it is viviparous is not correct. sent18: that the rabbi is pemphigous but it is not a Utopian is incorrect if the wineberry is not a Utopian. sent19: if the wineberry is not a Utopian then the fact that the rabbi is pemphigous and a Utopian is not correct. sent20: the fact that the fact that the Beguine staples Verdicchio and is not a Odin is not correct is not false. sent21: the fact that the palliative is not pemphigous is not false if there is something such that the fact that it is a compartmentalization and is not cytogenetic does not hold. sent22: if the Verdicchio is not a kind of a scheme the palliative is not autogamous. sent23: that the palliative is both not non-top and not autogamous does not hold. sent24: the Verdicchio is not a kind of a scheme if it is not a compartmentalization. sent25: if that the Beguine staples Verdicchio and is not a Odin does not hold then the fact that the propman is not hydrophilic is not wrong. sent26: the club-moss is both autogamous and cytogenetic if the assayer is not top. sent27: the fact that the wineberry is not a Utopian is correct if the palliative is not top.
sent13 -> int1: the Verdicchio does not scheme if it is not cytogenetic.; int1 & sent8 & sent24 -> int2: the Verdicchio is not a scheme.; int2 & sent22 -> int3: the palliative is not autogamous.; void -> assump1: Let's assume that the palliative is a kind of a top.; int3 & assump1 -> int4: that the palliative is a top and is not autogamous is right.; int4 & sent23 -> int5: this is contradiction.; [assump1] & int5 -> int6: the palliative is not top.; int6 & sent27 -> int7: the wineberry is not a kind of a Utopian.; int7 & sent18 -> hypothesis;
the rabbi is pemphigous but not a Utopian.
sent4 -> int8: the assayer is not a top if it is not a kind of a top and/or it does staple phosphorescence.; sent16 -> int9: there is something such that it does staple phosphorescence.; int9 & sent3 -> int10: the assayer does not top or it does staple phosphorescence or both.; int8 & int10 -> int11: the fact that the assayer is not top is not false.; sent26 & int11 -> int12: the club-moss is autogamous and is cytogenetic.; int12 -> int13: the club-moss is cytogenetic.; sent17 -> int14: that the propman is a kind of declarative thing that is viviparous does not hold if it is not hydrophilic.; sent25 & sent20 -> int15: the propman is not hydrophilic.; int14 & int15 -> int16: that the propman is declarative and it is viviparous is false.; int16 -> int17: there is something such that the fact that it is declarative and it is viviparous is wrong.; int17 & sent12 -> int18: the club-moss is not a scheme.; int13 & int18 -> int19: the club-moss is cytogenetic thing that does not scheme.; sent6 & int19 -> int20: the wineberry is not cytogenetic.; sent2 & int20 -> int21: that the palliative is not a compartmentalization is not false.; int21 -> int22: there is something such that it is not a compartmentalization.;
$hypothesis$ = that the rabbi is pemphigous thing that is not a kind of a Utopian is incorrect. ; $context$ = sent1: that the Verdicchio is a scheme is not incorrect if it is not a kind of a compartmentalization. sent2: if the wineberry is not cytogenetic then the palliative is not a compartmentalization. sent3: that either the assayer is not a top or it does staple phosphorescence or both is true if there is something such that it does staple phosphorescence. sent4: something does not top if it is not a kind of a top and/or does staple phosphorescence. sent5: if there is something such that that it schemes and it is autogamous does not hold the rabbi is not a schemes. sent6: if the club-moss is cytogenetic but it is not a scheme the wineberry is not cytogenetic. sent7: the fact that the propman is not declarative but it staples phosphorescence is false. sent8: the Verdicchio is not a compartmentalization and/or it is not cytogenetic. sent9: the fact that the club-moss is a scheme and it is autogamous does not hold if there is something such that it is a kind of a top. sent10: that the wineberry is a kind of a compartmentalization but it is not cytogenetic does not hold if the rabbi is not a scheme. sent11: if the palliative is not a kind of a Utopian then the fact that the rabbi is autogamous and is not a Utopian is not right. sent12: the club-moss is not a kind of a scheme if there is something such that the fact that it is declarative and is viviparous is wrong. sent13: something is not a scheme if it is not cytogenetic. sent14: if that that the propman is non-declarative and does staple phosphorescence is correct is false then it is not viviparous. sent15: that the rabbi is pemphigous and it is a Utopian is not true. sent16: that the telpher does staple phosphorescence is not wrong. sent17: if that something is not hydrophilic is right then that it is declarative and it is viviparous is not correct. sent18: that the rabbi is pemphigous but it is not a Utopian is incorrect if the wineberry is not a Utopian. sent19: if the wineberry is not a Utopian then the fact that the rabbi is pemphigous and a Utopian is not correct. sent20: the fact that the fact that the Beguine staples Verdicchio and is not a Odin is not correct is not false. sent21: the fact that the palliative is not pemphigous is not false if there is something such that the fact that it is a compartmentalization and is not cytogenetic does not hold. sent22: if the Verdicchio is not a kind of a scheme the palliative is not autogamous. sent23: that the palliative is both not non-top and not autogamous does not hold. sent24: the Verdicchio is not a kind of a scheme if it is not a compartmentalization. sent25: if that the Beguine staples Verdicchio and is not a Odin does not hold then the fact that the propman is not hydrophilic is not wrong. sent26: the club-moss is both autogamous and cytogenetic if the assayer is not top. sent27: the fact that the wineberry is not a Utopian is correct if the palliative is not top. ; $proof$ = 
sent13 -> int1: the Verdicchio does not scheme if it is not cytogenetic.; int1 & sent8 & sent24 -> int2: the Verdicchio is not a scheme.; int2 & sent22 -> int3: the palliative is not autogamous.; void -> assump1: Let's assume that the palliative is a kind of a top.; int3 & assump1 -> int4: that the palliative is a top and is not autogamous is right.; int4 & sent23 -> int5: this is contradiction.; [assump1] & int5 -> int6: the palliative is not top.; int6 & sent27 -> int7: the wineberry is not a kind of a Utopian.; int7 & sent18 -> hypothesis; __PROVED__