there is something such that if it is not mesial and not non-neritic it is not configurational.
sent1: if the turbogenerator is not mesial but it is neritic it is configurational. sent2: the turbogenerator is not a kind of a Rhadamanthus if it is both not a tablespoon and configurational. sent3: there exists something such that if it is not a mixed-blood and it is a escapologist it is not a farmstead. sent4: the turbogenerator is not configurational if it is not non-mesial and is neritic. sent5: there is something such that if it is not mesial and it is neritic then it is configurational. sent6: there exists something such that if the fact that it is not a kind of a millenary and is a refilling is right it is not Orthodox. sent7: the turbogenerator is not configurational if it does not wench and it does letter textured. sent8: if the turbogenerator is not mesial but it is neritic it is not configurational. sent9: the shopwindow is not configurational if it is non-bilious and a detritus. sent10: if something does not reset shopwindow and letters cheeseboard that it is not seasonable is not false. sent11: if the turbogenerator is not a kind of a Caldwell and does refocus it is not a cape. sent12: there is something such that if it is not a toed and it is a bug then it does not letter predetermination. sent13: there is something such that if it is mesial and is neritic then it is not configurational. sent14: there is something such that if it is not macrocosmic and it is a restoration then it is not precise.
sent8 -> hypothesis;
the methenamine is not seasonable if it does not reset shopwindow and letters cheeseboard.
sent10 -> hypothesis;
$hypothesis$ = there is something such that if it is not mesial and not non-neritic it is not configurational. ; $context$ = sent1: if the turbogenerator is not mesial but it is neritic it is configurational. sent2: the turbogenerator is not a kind of a Rhadamanthus if it is both not a tablespoon and configurational. sent3: there exists something such that if it is not a mixed-blood and it is a escapologist it is not a farmstead. sent4: the turbogenerator is not configurational if it is not non-mesial and is neritic. sent5: there is something such that if it is not mesial and it is neritic then it is configurational. sent6: there exists something such that if the fact that it is not a kind of a millenary and is a refilling is right it is not Orthodox. sent7: the turbogenerator is not configurational if it does not wench and it does letter textured. sent8: if the turbogenerator is not mesial but it is neritic it is not configurational. sent9: the shopwindow is not configurational if it is non-bilious and a detritus. sent10: if something does not reset shopwindow and letters cheeseboard that it is not seasonable is not false. sent11: if the turbogenerator is not a kind of a Caldwell and does refocus it is not a cape. sent12: there is something such that if it is not a toed and it is a bug then it does not letter predetermination. sent13: there is something such that if it is mesial and is neritic then it is not configurational. sent14: there is something such that if it is not macrocosmic and it is a restoration then it is not precise. ; $proof$ = 
sent8 -> hypothesis; __PROVED__