that if the russet is a Darrow then that the quinine is not expansive and it is not effective is false is not wrong.
sent1: if something is a kind of a musophobia that that it is not expansive and it is a kind of a joy is not incorrect does not hold. sent2: if the russet is a Darrow that it is a kind of a joy and is a musophobia is not correct. sent3: that the quinine does not enfeoff schorl but it is expansive is not true. sent4: the quinine is not expansive and it is not a musophobia. sent5: if the russet is effective then the quinine is a joy. sent6: that the quinine is non-expansive thing that is a joy is not correct if it is a Darrow. sent7: the fact that the quinine is expansive and is not effective is false if the russet is a Darrow. sent8: that the quinine is not expansive but it is effective does not hold if the russet is a Darrow. sent9: that something does not enfeoff schorl but it is expansive is not true if it is a musophobia. sent10: if that the russet is not a joy but it is a musophobia is incorrect then the intron enfeoffs schorl. sent11: the quinine is not febrile and it is not a coontie. sent12: that the fact that the quinine is both not expansive and ineffective is not true if the intron enfeoffs schorl hold. sent13: the fact that the quinine is both expansive and not a musophobia is wrong if the intron does enfeoff schorl. sent14: the fact that the russet is effective and is a kind of a Darrow is not true. sent15: if something is a Darrow the fact that it is not a joy and it is a musophobia is false. sent16: the planking is a musophobia. sent17: if something enfeoffs schorl then the fact that it is a kind of unexpansive a joy is incorrect.
sent15 -> int1: if the russet is a Darrow that it is not a joy and it is a musophobia does not hold.; void -> assump1: Let's assume that the russet is a kind of a Darrow.; int1 & assump1 -> int2: the fact that the russet is not a joy but it is a musophobia does not hold.; sent10 & int2 -> int3: the intron does enfeoff schorl.; sent12 & int3 -> int4: that the quinine is not expansive and it is not effective is incorrect.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the russet is a Darrow then that the quinine is not expansive and it is not effective is false is not wrong. ; $context$ = sent1: if something is a kind of a musophobia that that it is not expansive and it is a kind of a joy is not incorrect does not hold. sent2: if the russet is a Darrow that it is a kind of a joy and is a musophobia is not correct. sent3: that the quinine does not enfeoff schorl but it is expansive is not true. sent4: the quinine is not expansive and it is not a musophobia. sent5: if the russet is effective then the quinine is a joy. sent6: that the quinine is non-expansive thing that is a joy is not correct if it is a Darrow. sent7: the fact that the quinine is expansive and is not effective is false if the russet is a Darrow. sent8: that the quinine is not expansive but it is effective does not hold if the russet is a Darrow. sent9: that something does not enfeoff schorl but it is expansive is not true if it is a musophobia. sent10: if that the russet is not a joy but it is a musophobia is incorrect then the intron enfeoffs schorl. sent11: the quinine is not febrile and it is not a coontie. sent12: that the fact that the quinine is both not expansive and ineffective is not true if the intron enfeoffs schorl hold. sent13: the fact that the quinine is both expansive and not a musophobia is wrong if the intron does enfeoff schorl. sent14: the fact that the russet is effective and is a kind of a Darrow is not true. sent15: if something is a Darrow the fact that it is not a joy and it is a musophobia is false. sent16: the planking is a musophobia. sent17: if something enfeoffs schorl then the fact that it is a kind of unexpansive a joy is incorrect. ; $proof$ = 
sent15 -> int1: if the russet is a Darrow that it is not a joy and it is a musophobia does not hold.; void -> assump1: Let's assume that the russet is a kind of a Darrow.; int1 & assump1 -> int2: the fact that the russet is not a joy but it is a musophobia does not hold.; sent10 & int2 -> int3: the intron does enfeoff schorl.; sent12 & int3 -> int4: that the quinine is not expansive and it is not effective is incorrect.; [assump1] & int4 -> hypothesis; __PROVED__