the Islamist is not calcaneal.
sent1: the Islamist sediments brag. sent2: that something does not debase but it does teach rehabilitation is not true if it outshouts rickey. sent3: the supremacist jellifies. sent4: something is calcaneal if the fact that it does not teach rehabilitation and it does not jellify is wrong. sent5: if the subscriber is a kind of a mew that the rotavirus is not a Scomberesox and it is not papery is not right. sent6: that something does not teach rehabilitation and does not jellify is false if it does not outshout rickey. sent7: the deodorant is calcaneal. sent8: the Islamist does outshout rickey. sent9: the yawner does outshout rickey if there exists something such that the fact that it is not a Scomberesox and it is not papery is false. sent10: the saveloy is not calcaneal. sent11: the Islamist does not jellify. sent12: if that something does not debase but it teaches rehabilitation does not hold it does not teaches rehabilitation. sent13: the Islamist does jellify if it is calcaneal. sent14: if something does not teach rehabilitation that it does jellify and it is not calcaneal is incorrect. sent15: the subscriber does mew. sent16: there exists nothing that does not debase and does outshout rickey.
void -> assump1: Let's assume that the Islamist is calcaneal.; sent13 & assump1 -> int1: the fact that the Islamist does jellify is correct.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the sundew is calcaneal.
sent4 -> int3: the sundew is calcaneal if that it does not teach rehabilitation and it does not jellify is wrong.; sent16 -> int4: that the Islamist does not debase and outshouts rickey is wrong.; sent6 -> int5: that the Islamist does not teach rehabilitation and does not jellify is wrong if it does not outshout rickey.;
$hypothesis$ = the Islamist is not calcaneal. ; $context$ = sent1: the Islamist sediments brag. sent2: that something does not debase but it does teach rehabilitation is not true if it outshouts rickey. sent3: the supremacist jellifies. sent4: something is calcaneal if the fact that it does not teach rehabilitation and it does not jellify is wrong. sent5: if the subscriber is a kind of a mew that the rotavirus is not a Scomberesox and it is not papery is not right. sent6: that something does not teach rehabilitation and does not jellify is false if it does not outshout rickey. sent7: the deodorant is calcaneal. sent8: the Islamist does outshout rickey. sent9: the yawner does outshout rickey if there exists something such that the fact that it is not a Scomberesox and it is not papery is false. sent10: the saveloy is not calcaneal. sent11: the Islamist does not jellify. sent12: if that something does not debase but it teaches rehabilitation does not hold it does not teaches rehabilitation. sent13: the Islamist does jellify if it is calcaneal. sent14: if something does not teach rehabilitation that it does jellify and it is not calcaneal is incorrect. sent15: the subscriber does mew. sent16: there exists nothing that does not debase and does outshout rickey. ; $proof$ = 
void -> assump1: Let's assume that the Islamist is calcaneal.; sent13 & assump1 -> int1: the fact that the Islamist does jellify is correct.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__