that the vasoconstrictor is nontraditional hold.
sent1: the vasoconstrictor is not a kobo and not legislative. sent2: if something does not skip osteopathy and it is not a kind of a finiteness then it is nontraditional. sent3: the monstrosity is atomic and/or it does not appropriate stitchwort. sent4: the vasoconstrictor does not skip osteopathy if the monstrosity is atomic. sent5: the vasoconstrictor is not nontraditional if the monstrosity is not a finiteness. sent6: if the monstrosity is a handoff or not atomic or both the fact that the vasoconstrictor does not appropriate stitchwort hold. sent7: if the vasoconstrictor is not a handoff the fact that it is not a kind of a finiteness hold. sent8: the vasoconstrictor is not a kind of a handoff. sent9: something is not a finiteness if it does skip osteopathy.
sent7 & sent8 -> int1: the vasoconstrictor is not a finiteness.; sent2 -> int2: that the vasoconstrictor is nontraditional is true if it does not skip osteopathy and it is not a kind of a finiteness.;
the fact that the vasoconstrictor is not nontraditional hold.
sent9 -> int3: if the monstrosity skips osteopathy then it is not a kind of a finiteness.;
$hypothesis$ = that the vasoconstrictor is nontraditional hold. ; $context$ = sent1: the vasoconstrictor is not a kobo and not legislative. sent2: if something does not skip osteopathy and it is not a kind of a finiteness then it is nontraditional. sent3: the monstrosity is atomic and/or it does not appropriate stitchwort. sent4: the vasoconstrictor does not skip osteopathy if the monstrosity is atomic. sent5: the vasoconstrictor is not nontraditional if the monstrosity is not a finiteness. sent6: if the monstrosity is a handoff or not atomic or both the fact that the vasoconstrictor does not appropriate stitchwort hold. sent7: if the vasoconstrictor is not a handoff the fact that it is not a kind of a finiteness hold. sent8: the vasoconstrictor is not a kind of a handoff. sent9: something is not a finiteness if it does skip osteopathy. ; $proof$ = 
sent7 & sent8 -> int1: the vasoconstrictor is not a finiteness.; sent2 -> int2: that the vasoconstrictor is nontraditional is true if it does not skip osteopathy and it is not a kind of a finiteness.; __UNKNOWN__