there is something such that if it is not a midwinter and not serviceable it is non-Muhammadan.
sent1: if something that does not provide self-disgust does not roughen then it is not a kind of a midwinter. sent2: if the internist does not shelter internist and it is not allophonic it is not a Celtic. sent3: that there is something such that if it is not a midwinter and it is serviceable then it is not Muhammadan hold. sent4: there exists something such that if it is not Tobagonian and it does not jump perception it is not a toll. sent5: the introversion is Muhammadan if it is not a midwinter and not serviceable. sent6: there exists something such that if it is not subartesian and does not sedate then it is not parametric. sent7: there is something such that if it does not roughen and it is not a kind of a daraf it does not jump capacity. sent8: if the introversion is both not tragicomic and non-auricular then it is not denotative. sent9: there exists something such that if it is not parasitic and it is not onomastic it is not a Georgian. sent10: the introversion is not Muhammadan if it is not a midwinter and is serviceable. sent11: if the introversion is not a midwinter and it is not serviceable it is not Muhammadan. sent12: if the introversion is not unargumentative and it is non-stimulative it is not Muhammadan. sent13: there exists something such that if it is both not a midwinter and not serviceable it is Muhammadan. sent14: if the introversion is a kind of a midwinter that is not serviceable then it is not Muhammadan. sent15: there is something such that if it is a kind of a midwinter that is not serviceable then it is not Muhammadan.
sent11 -> hypothesis;
the capacity is not a midwinter if it does not provide self-disgust and it does not roughen.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a midwinter and not serviceable it is non-Muhammadan. ; $context$ = sent1: if something that does not provide self-disgust does not roughen then it is not a kind of a midwinter. sent2: if the internist does not shelter internist and it is not allophonic it is not a Celtic. sent3: that there is something such that if it is not a midwinter and it is serviceable then it is not Muhammadan hold. sent4: there exists something such that if it is not Tobagonian and it does not jump perception it is not a toll. sent5: the introversion is Muhammadan if it is not a midwinter and not serviceable. sent6: there exists something such that if it is not subartesian and does not sedate then it is not parametric. sent7: there is something such that if it does not roughen and it is not a kind of a daraf it does not jump capacity. sent8: if the introversion is both not tragicomic and non-auricular then it is not denotative. sent9: there exists something such that if it is not parasitic and it is not onomastic it is not a Georgian. sent10: the introversion is not Muhammadan if it is not a midwinter and is serviceable. sent11: if the introversion is not a midwinter and it is not serviceable it is not Muhammadan. sent12: if the introversion is not unargumentative and it is non-stimulative it is not Muhammadan. sent13: there exists something such that if it is both not a midwinter and not serviceable it is Muhammadan. sent14: if the introversion is a kind of a midwinter that is not serviceable then it is not Muhammadan. sent15: there is something such that if it is a kind of a midwinter that is not serviceable then it is not Muhammadan. ; $proof$ = 
sent11 -> hypothesis; __PROVED__