there is something such that if it is not a uxoricide and not a horse-pistol it is not paramedical.
sent1: there is something such that if it is not tactile and it does not cathect wavelength then it does not flock Ishmael. sent2: if something that is not a kind of a locomotion is not extinct it is not paramedical. sent3: if the glow is a kind of a uxoricide but it is not a kind of a horse-pistol then that it is not paramedical is not wrong. sent4: if that the glow is not a uxoricide and it is not a horse-pistol is not false it is not paramedical. sent5: the glow is not paramedical if it is not a uxoricide and it is a kind of a horse-pistol. sent6: there exists something such that if the fact that it is a kind of a uxoricide and it is not a kind of a horse-pistol is not incorrect then the fact that it is not paramedical is true. sent7: there exists something such that if it is not a kind of a uxoricide and is a horse-pistol it is not paramedical.
sent4 -> hypothesis;
if the Ishmael is not a locomotion and not extinct it is not paramedical.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a uxoricide and not a horse-pistol it is not paramedical. ; $context$ = sent1: there is something such that if it is not tactile and it does not cathect wavelength then it does not flock Ishmael. sent2: if something that is not a kind of a locomotion is not extinct it is not paramedical. sent3: if the glow is a kind of a uxoricide but it is not a kind of a horse-pistol then that it is not paramedical is not wrong. sent4: if that the glow is not a uxoricide and it is not a horse-pistol is not false it is not paramedical. sent5: the glow is not paramedical if it is not a uxoricide and it is a kind of a horse-pistol. sent6: there exists something such that if the fact that it is a kind of a uxoricide and it is not a kind of a horse-pistol is not incorrect then the fact that it is not paramedical is true. sent7: there exists something such that if it is not a kind of a uxoricide and is a horse-pistol it is not paramedical. ; $proof$ = 
sent4 -> hypothesis; __PROVED__