there is something such that if it is not a prosimian then it is not an outfitting.
sent1: the spectrophotometer is not convergent if it is an outfitting. sent2: there exists something such that if it is unerect it does not wrap contribution. sent3: something that is not a prosimian is not an outfitting. sent4: there exists something such that if it is a tri-iodothyronine then it is not a capstan. sent5: there exists something such that if it is not angelic it does suffer. sent6: something that is not a prosimian is an outfitting. sent7: something that is not continent does not slurp.
sent3 -> int1: if the spectrophotometer is not a kind of a prosimian then it is not an outfitting.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a prosimian then it is not an outfitting. ; $context$ = sent1: the spectrophotometer is not convergent if it is an outfitting. sent2: there exists something such that if it is unerect it does not wrap contribution. sent3: something that is not a prosimian is not an outfitting. sent4: there exists something such that if it is a tri-iodothyronine then it is not a capstan. sent5: there exists something such that if it is not angelic it does suffer. sent6: something that is not a prosimian is an outfitting. sent7: something that is not continent does not slurp. ; $proof$ = 
sent3 -> int1: if the spectrophotometer is not a kind of a prosimian then it is not an outfitting.; int1 -> hypothesis; __PROVED__