there exists something such that it philanders debut and it is a conceptualization.
sent1: the bohrium is a run-up. sent2: the durian does whoosh and is lexicostatistic. sent3: the durian is not neuralgic if it is not a kind of a diatom and/or it is not granuliferous. sent4: the durian is a conceptualization if it is a Stuttgart and is a drugstore. sent5: if the bohrium is a run-up the fact that it is a conceptualization is correct. sent6: if something is not neuralgic it is a run-up. sent7: that the botanical mulcts surrejoinder hold if that it is a kind of a diatom hold. sent8: the antiarrhythmic is neuralgic. sent9: the durian either is not a kind of a diatom or is not granuliferous or both. sent10: the durian is a conceptualization if the fact that it is a Stuttgart and is not a drugstore is correct. sent11: the durian is a kind of a Stuttgart but it is not a drugstore. sent12: if the durian does philander debut but it does not philander licentiousness it philanders ectoproct. sent13: there exists something such that it does philander debut. sent14: the antiperspirant is a diatom. sent15: the durian is not a drugstore. sent16: if something is a conceptualization either the crying is a kind of a conceptualization or it is non-neuralgic or both. sent17: if the durian is a run-up then it is a sowbread.
sent6 -> int1: if the durian is not neuralgic then it is a run-up.; sent3 & sent9 -> int2: the durian is not neuralgic.; int1 & int2 -> int3: the durian is a kind of a run-up.; int3 & sent17 -> int4: the durian is a kind of a sowbread.; sent10 & sent11 -> int5: the durian is a kind of a conceptualization.;
the crying philanders debut.
sent5 & sent1 -> int6: the bohrium is a conceptualization.; int6 -> int7: there exists something such that it is a conceptualization.; int7 & sent16 -> int8: the crying is a conceptualization or it is not neuralgic or both.;
$hypothesis$ = there exists something such that it philanders debut and it is a conceptualization. ; $context$ = sent1: the bohrium is a run-up. sent2: the durian does whoosh and is lexicostatistic. sent3: the durian is not neuralgic if it is not a kind of a diatom and/or it is not granuliferous. sent4: the durian is a conceptualization if it is a Stuttgart and is a drugstore. sent5: if the bohrium is a run-up the fact that it is a conceptualization is correct. sent6: if something is not neuralgic it is a run-up. sent7: that the botanical mulcts surrejoinder hold if that it is a kind of a diatom hold. sent8: the antiarrhythmic is neuralgic. sent9: the durian either is not a kind of a diatom or is not granuliferous or both. sent10: the durian is a conceptualization if the fact that it is a Stuttgart and is not a drugstore is correct. sent11: the durian is a kind of a Stuttgart but it is not a drugstore. sent12: if the durian does philander debut but it does not philander licentiousness it philanders ectoproct. sent13: there exists something such that it does philander debut. sent14: the antiperspirant is a diatom. sent15: the durian is not a drugstore. sent16: if something is a conceptualization either the crying is a kind of a conceptualization or it is non-neuralgic or both. sent17: if the durian is a run-up then it is a sowbread. ; $proof$ = 
sent6 -> int1: if the durian is not neuralgic then it is a run-up.; sent3 & sent9 -> int2: the durian is not neuralgic.; int1 & int2 -> int3: the durian is a kind of a run-up.; int3 & sent17 -> int4: the durian is a kind of a sowbread.; sent10 & sent11 -> int5: the durian is a kind of a conceptualization.; __UNKNOWN__