the wog is not phonogramic and it is not viceregal.
sent1: if the sackcloth is not a dream then the viticulturist is not vinaceous. sent2: the abaya does not exempt if the bonbon is corrupting but it is not exempt. sent3: something that briefs napkin does not riddle and does not skedaddle Edecrin. sent4: the wog is not a orthomyxovirus and is unconstitutional. sent5: the wog is not viceregal. sent6: if the funeral-residence does finedraw membrane the fact that the napkin is changeless hold. sent7: the bonbon is corrupting but it does not exempt if the viticulturist is not a kind of a riddle. sent8: something is not viceregal if it is exempt. sent9: if the oilcan is a kind of a constitutional then the wog does exempt. sent10: the fact that something is constitutional but it is not viceregal is not right if it is not exempt. sent11: if there exists something such that the fact that it is a dream and a wineberry is false then the sackcloth does not dream. sent12: the blackthorn does not brief bonbon or it does finedraw membrane or both. sent13: an exempt thing is not phonogramic and not viceregal. sent14: that the oilcan is viceregal is true if the fact that the abaya is constitutional and viceregal is incorrect. sent15: if the blackthorn does not brief bonbon and/or does finedraw membrane then the funeral-residence finedraw membrane. sent16: that something is both a dream and a wineberry is not true if it is not a kind of a glitter. sent17: the oilcan is constitutional. sent18: the napkin does not douse if it is changeless. sent19: something does brief napkin if it is not vinaceous. sent20: if that something is a kind of a gruffness that does glitter is not true then it is not a glitter. sent21: if that the wog is not nonexempt hold then it is not viceregal. sent22: that something is a gruffness that does glitter does not hold if that it does not douse is not false. sent23: the polemonium is exempt.
sent9 & sent17 -> int1: the fact that the wog does exempt hold.; sent13 -> int2: the wog is non-phonogramic thing that is not viceregal if it does exempt.; int1 & int2 -> hypothesis;
the fact that the wog is not phonogramic and is not viceregal is not right.
sent10 -> int3: that the abaya is a constitutional and not viceregal is false if it is not exempt.; sent3 -> int4: if that the viticulturist does brief napkin is correct then it is not a riddle and does not skedaddle Edecrin.; sent19 -> int5: the viticulturist does brief napkin if it is not vinaceous.; sent16 -> int6: if the napkin is not a glitter the fact that it is a dream and a wineberry is wrong.; sent20 -> int7: the napkin does not glitter if the fact that it is a gruffness and it is a glitter is not true.; sent22 -> int8: if the napkin does not douse the fact that it is a gruffness and it is a kind of a glitter does not hold.; sent15 & sent12 -> int9: the funeral-residence does finedraw membrane.; sent6 & int9 -> int10: the napkin is changeless.; sent18 & int10 -> int11: the napkin does not douse.; int8 & int11 -> int12: that the fact that the napkin is a gruffness and it is a glitter is wrong is correct.; int7 & int12 -> int13: the napkin is not a glitter.; int6 & int13 -> int14: that the napkin dreams and it is a wineberry is incorrect.; int14 -> int15: there is something such that the fact that it is a dream and it is a wineberry is not right.; int15 & sent11 -> int16: the sackcloth is not a dream.; sent1 & int16 -> int17: the viticulturist is not vinaceous.; int5 & int17 -> int18: the viticulturist does brief napkin.; int4 & int18 -> int19: the viticulturist is not a riddle and it does not skedaddle Edecrin.; int19 -> int20: the fact that the viticulturist is not a riddle hold.; sent7 & int20 -> int21: the bonbon is corrupting but it is not exempt.; sent2 & int21 -> int22: the abaya does not exempt.; int3 & int22 -> int23: the fact that the abaya is a kind of a constitutional but it is not viceregal is not right.; sent14 & int23 -> int24: that the oilcan is viceregal is true.; int24 -> int25: there exists something such that it is viceregal.;
$hypothesis$ = the wog is not phonogramic and it is not viceregal. ; $context$ = sent1: if the sackcloth is not a dream then the viticulturist is not vinaceous. sent2: the abaya does not exempt if the bonbon is corrupting but it is not exempt. sent3: something that briefs napkin does not riddle and does not skedaddle Edecrin. sent4: the wog is not a orthomyxovirus and is unconstitutional. sent5: the wog is not viceregal. sent6: if the funeral-residence does finedraw membrane the fact that the napkin is changeless hold. sent7: the bonbon is corrupting but it does not exempt if the viticulturist is not a kind of a riddle. sent8: something is not viceregal if it is exempt. sent9: if the oilcan is a kind of a constitutional then the wog does exempt. sent10: the fact that something is constitutional but it is not viceregal is not right if it is not exempt. sent11: if there exists something such that the fact that it is a dream and a wineberry is false then the sackcloth does not dream. sent12: the blackthorn does not brief bonbon or it does finedraw membrane or both. sent13: an exempt thing is not phonogramic and not viceregal. sent14: that the oilcan is viceregal is true if the fact that the abaya is constitutional and viceregal is incorrect. sent15: if the blackthorn does not brief bonbon and/or does finedraw membrane then the funeral-residence finedraw membrane. sent16: that something is both a dream and a wineberry is not true if it is not a kind of a glitter. sent17: the oilcan is constitutional. sent18: the napkin does not douse if it is changeless. sent19: something does brief napkin if it is not vinaceous. sent20: if that something is a kind of a gruffness that does glitter is not true then it is not a glitter. sent21: if that the wog is not nonexempt hold then it is not viceregal. sent22: that something is a gruffness that does glitter does not hold if that it does not douse is not false. sent23: the polemonium is exempt. ; $proof$ = 
sent9 & sent17 -> int1: the fact that the wog does exempt hold.; sent13 -> int2: the wog is non-phonogramic thing that is not viceregal if it does exempt.; int1 & int2 -> hypothesis; __PROVED__