that the luthier is derivational if the beeper drains Hindustan does not hold.
sent1: the beeper drains Hindustan but it is not arenicolous if the smallmouth does drains Hindustan. sent2: if something is arenicolous then that it is not pineal and it is derivational is not true. sent3: if the luthier does drain Hindustan the beeper drain Hindustan and is derivational. sent4: if that something is not pineal but it is derivational is incorrect it is pineal. sent5: the cavetto does not drain Hindustan. sent6: the beeper is derivational thing that is not arenicolous. sent7: the beeper is not human. sent8: the smallmouth is arenicolous but it is not derivational if the luthier is arenicolous. sent9: the Arcadian is arenicolous and does not exacerbate antimalarial. sent10: the luthier is not directed. sent11: the fact that the nothosaur does not drain Hindustan is right. sent12: the baboon does drain Hindustan. sent13: the luthier does drain Hindustan. sent14: if the smallmouth drains Hindustan then the beeper is arenicolous. sent15: the slum drains Hindustan. sent16: if that the smallmouth is arenicolous is right then the beeper is arenicolous and does not drain Hindustan. sent17: that the rasp is not arenicolous is true. sent18: the smallmouth is arenicolous if the luthier is not derivational. sent19: if the smallmouth is not derivational then the luthier is arenicolous. sent20: the smallmouth is derivational but it does not exacerbate burdock.
void -> assump1: Let's assume that the beeper drains Hindustan.; void -> assump2: Let's assume that the luthier is not derivational.; sent18 & assump2 -> int1: the smallmouth is arenicolous.; sent16 & int1 -> int2: the beeper is arenicolous and does not drain Hindustan.; int2 -> int3: the beeper does not drain Hindustan.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the luthier is derivational.; [assump1] & int5 -> hypothesis;
the beeper is pineal.
sent4 -> int6: the beeper is pineal if the fact that it is not pineal and not non-derivational is incorrect.; sent2 -> int7: if the beeper is arenicolous that it is not pineal but derivational is wrong.;
$hypothesis$ = that the luthier is derivational if the beeper drains Hindustan does not hold. ; $context$ = sent1: the beeper drains Hindustan but it is not arenicolous if the smallmouth does drains Hindustan. sent2: if something is arenicolous then that it is not pineal and it is derivational is not true. sent3: if the luthier does drain Hindustan the beeper drain Hindustan and is derivational. sent4: if that something is not pineal but it is derivational is incorrect it is pineal. sent5: the cavetto does not drain Hindustan. sent6: the beeper is derivational thing that is not arenicolous. sent7: the beeper is not human. sent8: the smallmouth is arenicolous but it is not derivational if the luthier is arenicolous. sent9: the Arcadian is arenicolous and does not exacerbate antimalarial. sent10: the luthier is not directed. sent11: the fact that the nothosaur does not drain Hindustan is right. sent12: the baboon does drain Hindustan. sent13: the luthier does drain Hindustan. sent14: if the smallmouth drains Hindustan then the beeper is arenicolous. sent15: the slum drains Hindustan. sent16: if that the smallmouth is arenicolous is right then the beeper is arenicolous and does not drain Hindustan. sent17: that the rasp is not arenicolous is true. sent18: the smallmouth is arenicolous if the luthier is not derivational. sent19: if the smallmouth is not derivational then the luthier is arenicolous. sent20: the smallmouth is derivational but it does not exacerbate burdock. ; $proof$ = 
void -> assump1: Let's assume that the beeper drains Hindustan.; void -> assump2: Let's assume that the luthier is not derivational.; sent18 & assump2 -> int1: the smallmouth is arenicolous.; sent16 & int1 -> int2: the beeper is arenicolous and does not drain Hindustan.; int2 -> int3: the beeper does not drain Hindustan.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the luthier is derivational.; [assump1] & int5 -> hypothesis; __DISPROVED__