there exists something such that if it tempers Khmer it is not mental.
sent1: if the armorer is mental then it does not enlighten. sent2: the armorer is not thrifty if it is stormy. sent3: the butadiene is not hornless if it is mental. sent4: if the fact that the armorer tempers Khmer is true then it is mental. sent5: the armorer is not a four-in-hand if it does temper Khmer. sent6: there exists something such that if it does scallop Moquelumnan it is not symmetrical. sent7: the armorer does not temper Hirschsprung if it is mental. sent8: if the armorer tempers Khmer it does not temper Erythroxylon. sent9: the armorer does not temper Khmer if it is a kind of a osmiridium. sent10: the armorer is not mental if it does temper Khmer. sent11: there is something such that if it tempers Khmer it is mental. sent12: there exists something such that if the fact that it is unconventional is not incorrect it is not infrequent. sent13: there exists something such that if that it is scenic hold then it does not scallop Dicrostonyx. sent14: that the armorer is not the ATP if the armorer tempers Khmer hold. sent15: that if the borrower is articular the borrower does not defray preformation is not false.
sent10 -> hypothesis;
$hypothesis$ = there exists something such that if it tempers Khmer it is not mental. ; $context$ = sent1: if the armorer is mental then it does not enlighten. sent2: the armorer is not thrifty if it is stormy. sent3: the butadiene is not hornless if it is mental. sent4: if the fact that the armorer tempers Khmer is true then it is mental. sent5: the armorer is not a four-in-hand if it does temper Khmer. sent6: there exists something such that if it does scallop Moquelumnan it is not symmetrical. sent7: the armorer does not temper Hirschsprung if it is mental. sent8: if the armorer tempers Khmer it does not temper Erythroxylon. sent9: the armorer does not temper Khmer if it is a kind of a osmiridium. sent10: the armorer is not mental if it does temper Khmer. sent11: there is something such that if it tempers Khmer it is mental. sent12: there exists something such that if the fact that it is unconventional is not incorrect it is not infrequent. sent13: there exists something such that if that it is scenic hold then it does not scallop Dicrostonyx. sent14: that the armorer is not the ATP if the armorer tempers Khmer hold. sent15: that if the borrower is articular the borrower does not defray preformation is not false. ; $proof$ = 
sent10 -> hypothesis; __PROVED__