the fact that there exists something such that if it does not guess polysomy it is non-bigger thing that invokes sunrise does not hold.
sent1: if that the knife-handle does not guess polysomy is true then it is not bigger. sent2: the quiff is both not a Elgar and a Englishman if it does not invoke sunrise. sent3: the cupbearer is not a kind of a sixth-former and does gather Chinese if it does not invoke sunrise. sent4: there is something such that if it does not guess polysomy it is not bigger. sent5: if the knife-handle guesses polysomy it is not bigger and it invokes sunrise. sent6: something is not bigger if it does not guess polysomy. sent7: the track is electrical and does invoke sunrise if it is not a Uta. sent8: there is something such that if it guesses polysomy then it is not bigger and it invokes sunrise. sent9: something is not bigger and invokes sunrise if it does guess polysomy. sent10: the knife-handle does not sentimentalize but it is a kind of a odist if that it is bigger hold. sent11: something is not bigger and does invoke sunrise if it does not guess polysomy. sent12: something does not gather archipallium but it is a kind of a masjid if it is not a 1790s. sent13: the blanc is not a kind of a lilliputian but it is a one-fourth if it does not guess polysomy. sent14: that the whipstitch does not seep but it is a abbacy is right if the fact that it is not bigger is correct. sent15: if something does not infiltrate then it is a kind of a tip.
sent11 -> int1: that the knife-handle is not bigger but it invokes sunrise is correct if it does not guess polysomy.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not guess polysomy it is non-bigger thing that invokes sunrise does not hold. ; $context$ = sent1: if that the knife-handle does not guess polysomy is true then it is not bigger. sent2: the quiff is both not a Elgar and a Englishman if it does not invoke sunrise. sent3: the cupbearer is not a kind of a sixth-former and does gather Chinese if it does not invoke sunrise. sent4: there is something such that if it does not guess polysomy it is not bigger. sent5: if the knife-handle guesses polysomy it is not bigger and it invokes sunrise. sent6: something is not bigger if it does not guess polysomy. sent7: the track is electrical and does invoke sunrise if it is not a Uta. sent8: there is something such that if it guesses polysomy then it is not bigger and it invokes sunrise. sent9: something is not bigger and invokes sunrise if it does guess polysomy. sent10: the knife-handle does not sentimentalize but it is a kind of a odist if that it is bigger hold. sent11: something is not bigger and does invoke sunrise if it does not guess polysomy. sent12: something does not gather archipallium but it is a kind of a masjid if it is not a 1790s. sent13: the blanc is not a kind of a lilliputian but it is a one-fourth if it does not guess polysomy. sent14: that the whipstitch does not seep but it is a abbacy is right if the fact that it is not bigger is correct. sent15: if something does not infiltrate then it is a kind of a tip. ; $proof$ = 
sent11 -> int1: that the knife-handle is not bigger but it invokes sunrise is correct if it does not guess polysomy.; int1 -> hypothesis; __DISPROVED__