there is something such that if that it does work is right that it is not unintelligent and is not a kind of a barilla is right.
sent1: if the latanier is umbelliferous then it does not menstruate caressing and is not unintelligent. sent2: something is not unintelligent but it is a barilla if it is a work. sent3: there exists something such that if it is a work that it is not unintelligent but a barilla is not false. sent4: if the schorl effaces radio-phonograph then it is not a time-switch and it does not work. sent5: something is both not unintelligent and not a barilla if it works. sent6: if something is mortal it is not curatorial and it does not tin daughter-in-law. sent7: that the schorl is not unintelligent if the schorl works hold. sent8: if something does elude it does not busy.
sent5 -> int1: if the schorl is a work then it is both not unintelligent and not a barilla.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it does work is right that it is not unintelligent and is not a kind of a barilla is right. ; $context$ = sent1: if the latanier is umbelliferous then it does not menstruate caressing and is not unintelligent. sent2: something is not unintelligent but it is a barilla if it is a work. sent3: there exists something such that if it is a work that it is not unintelligent but a barilla is not false. sent4: if the schorl effaces radio-phonograph then it is not a time-switch and it does not work. sent5: something is both not unintelligent and not a barilla if it works. sent6: if something is mortal it is not curatorial and it does not tin daughter-in-law. sent7: that the schorl is not unintelligent if the schorl works hold. sent8: if something does elude it does not busy. ; $proof$ = 
sent5 -> int1: if the schorl is a work then it is both not unintelligent and not a barilla.; int1 -> hypothesis; __PROVED__