the neckwear is a negotiation.
sent1: if something does not narrate manat then it is a kind of a negotiation and/or it is not alphanumeric. sent2: if the fact that something is untidy and it does deprive bathyscaphe is false the fact that it does not narrate manat hold. sent3: if there exists something such that that it is Democratic thing that does deprive monotheism is not true the prebendary is not patriarchal. sent4: if there exists something such that it is a kind of an owl then the bathyscaphe either is not Moroccan or is not a squat or both. sent5: the prebendary is not inexpedient if the fact that the horoscope is inexpedient hold. sent6: something is not a kind of an ogre if it is non-patriarchal thing that is not inexpedient. sent7: that the rotary does not deprive neckwear and is not acapnic does not hold. sent8: the fact that something is untidy thing that does deprive bathyscaphe is wrong if that it is not an ogre hold. sent9: if something does not squat the fact that it is Democratic and deprives monotheism is not true. sent10: the prebendary is alphanumeric. sent11: if that the prebendary does deprive bathyscaphe is not false the fact that the horoscope is untidy is right. sent12: the yanquapin does deprive neckwear if that the rotary does not deprive neckwear and it is not acapnic does not hold. sent13: if the fact that the crayon is alphanumeric is not incorrect then the prebendary deprives bathyscaphe. sent14: if the fact that the crayon is a kind of a negotiation hold the fact that the neckwear is not a negotiation is not incorrect. sent15: the bathyscaphe does not squat if it is not a Moroccan and/or it is not a squat. sent16: the crayon is alphanumeric and it does narrate manat. sent17: something is an owl. sent18: the horoscope is inexpedient if the yanquapin does deprive neckwear. sent19: if the horoscope is untidy that the neckwear is a kind of a negotiation hold. sent20: the crayon narrates manat. sent21: the fact that the horoscope is alphanumeric is not wrong if the crayon is untidy.
sent16 -> int1: the crayon is alphanumeric.; sent13 & int1 -> int2: the prebendary deprives bathyscaphe.; sent11 & int2 -> int3: the fact that the horoscope is not tidy hold.; sent19 & int3 -> hypothesis;
the neckwear is not a negotiation.
sent1 -> int4: that the prebendary is the negotiation and/or is non-alphanumeric if the prebendary does not narrate manat hold.; sent2 -> int5: the prebendary does not narrate manat if that it is untidy thing that deprives bathyscaphe is false.; sent8 -> int6: the fact that the prebendary is untidy and does deprive bathyscaphe is wrong if it is not an ogre.; sent6 -> int7: if the prebendary is not patriarchal and it is not inexpedient then it is not a kind of an ogre.; sent9 -> int8: that the bathyscaphe is a kind of Democratic thing that deprives monotheism is not right if it is not a squat.; sent17 & sent4 -> int9: either the bathyscaphe is not a kind of a Moroccan or it is not a kind of a squat or both.; sent15 & int9 -> int10: the fact that the bathyscaphe does not squat is true.; int8 & int10 -> int11: the fact that the bathyscaphe is Democratic and it deprives monotheism is not right.; int11 -> int12: there exists something such that that it is a kind of Democratic thing that deprives monotheism is incorrect.; int12 & sent3 -> int13: the fact that the prebendary is not patriarchal hold.; sent12 & sent7 -> int14: the yanquapin does deprive neckwear.; sent18 & int14 -> int15: the horoscope is inexpedient.; sent5 & int15 -> int16: the prebendary is not inexpedient.; int13 & int16 -> int17: the prebendary is not patriarchal but expedient.; int7 & int17 -> int18: the prebendary is not an ogre.; int6 & int18 -> int19: that the prebendary is not tidy and does deprive bathyscaphe does not hold.; int5 & int19 -> int20: the prebendary does not narrate manat.; int4 & int20 -> int21: the prebendary is a negotiation and/or not alphanumeric.;
$hypothesis$ = the neckwear is a negotiation. ; $context$ = sent1: if something does not narrate manat then it is a kind of a negotiation and/or it is not alphanumeric. sent2: if the fact that something is untidy and it does deprive bathyscaphe is false the fact that it does not narrate manat hold. sent3: if there exists something such that that it is Democratic thing that does deprive monotheism is not true the prebendary is not patriarchal. sent4: if there exists something such that it is a kind of an owl then the bathyscaphe either is not Moroccan or is not a squat or both. sent5: the prebendary is not inexpedient if the fact that the horoscope is inexpedient hold. sent6: something is not a kind of an ogre if it is non-patriarchal thing that is not inexpedient. sent7: that the rotary does not deprive neckwear and is not acapnic does not hold. sent8: the fact that something is untidy thing that does deprive bathyscaphe is wrong if that it is not an ogre hold. sent9: if something does not squat the fact that it is Democratic and deprives monotheism is not true. sent10: the prebendary is alphanumeric. sent11: if that the prebendary does deprive bathyscaphe is not false the fact that the horoscope is untidy is right. sent12: the yanquapin does deprive neckwear if that the rotary does not deprive neckwear and it is not acapnic does not hold. sent13: if the fact that the crayon is alphanumeric is not incorrect then the prebendary deprives bathyscaphe. sent14: if the fact that the crayon is a kind of a negotiation hold the fact that the neckwear is not a negotiation is not incorrect. sent15: the bathyscaphe does not squat if it is not a Moroccan and/or it is not a squat. sent16: the crayon is alphanumeric and it does narrate manat. sent17: something is an owl. sent18: the horoscope is inexpedient if the yanquapin does deprive neckwear. sent19: if the horoscope is untidy that the neckwear is a kind of a negotiation hold. sent20: the crayon narrates manat. sent21: the fact that the horoscope is alphanumeric is not wrong if the crayon is untidy. ; $proof$ = 
sent16 -> int1: the crayon is alphanumeric.; sent13 & int1 -> int2: the prebendary deprives bathyscaphe.; sent11 & int2 -> int3: the fact that the horoscope is not tidy hold.; sent19 & int3 -> hypothesis; __PROVED__