there is something such that if it is not a Paprilus then it does cloud Trichiuridae and it is a ceriman.
sent1: the cachalot is accordant and it inflates estuary if the fact that it is a kind of a registrant hold. sent2: if the transistor is not a Paprilus then it is a kind of a ceriman. sent3: if something does uproot it is ruminant and it is a kind of a fistula. sent4: there exists something such that if it is a kind of a Paprilus it clouds Trichiuridae and is a ceriman. sent5: something does cloud Trichiuridae and is a ceriman if it is not a Paprilus. sent6: there exists something such that if it is an accidental it does hook typist and it is a kind of a Fuji. sent7: something is a kind of a ceriman if it is not a Paprilus.
sent5 -> int1: the transistor does cloud Trichiuridae and is a ceriman if the fact that it is not a Paprilus hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Paprilus then it does cloud Trichiuridae and it is a ceriman. ; $context$ = sent1: the cachalot is accordant and it inflates estuary if the fact that it is a kind of a registrant hold. sent2: if the transistor is not a Paprilus then it is a kind of a ceriman. sent3: if something does uproot it is ruminant and it is a kind of a fistula. sent4: there exists something such that if it is a kind of a Paprilus it clouds Trichiuridae and is a ceriman. sent5: something does cloud Trichiuridae and is a ceriman if it is not a Paprilus. sent6: there exists something such that if it is an accidental it does hook typist and it is a kind of a Fuji. sent7: something is a kind of a ceriman if it is not a Paprilus. ; $proof$ = 
sent5 -> int1: the transistor does cloud Trichiuridae and is a ceriman if the fact that it is not a Paprilus hold.; int1 -> hypothesis; __PROVED__