the fact that there exists something such that if it is not prokaryotic and is genotypical then the fact that it does impede oxford is not false does not hold.
sent1: something that is both prokaryotic and genotypical impedes oxford. sent2: the Lincoln impedes billet if it impedes oxford and is a kind of a Senegalese. sent3: there is something such that if it is non-aboriginal thing that is a Aesop it is a rebroadcast. sent4: something is a politeness if it is not approachable and it distributes. sent5: the Lincoln is Rooseveltian if it is not a decantation and is Burmese. sent6: if the oxford is both not non-dolomitic and a toehold then the fact that it is genotypical is not false. sent7: there is something such that if it is prokaryotic and it is genotypical it does impede oxford. sent8: if the Lincoln is prokaryotic and it is genotypical then it impedes oxford. sent9: the counterrevolutionist does side harpsichord if it does not side coke and it does impede oxford. sent10: there is something such that if the fact that it is not intermolecular but a sodoku is correct it is a kind of a rebroadcast. sent11: something is a provincial if it is not a kind of a dinghy and it is a charter. sent12: there exists something such that if it does not impede ilama and reships it enters. sent13: something impedes oxford if it is both not prokaryotic and genotypical. sent14: if the doorknob is calendric and it is hematopoietic then it is genotypical.
sent13 -> int1: if the Lincoln is a kind of non-prokaryotic thing that is genotypical then it impedes oxford.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not prokaryotic and is genotypical then the fact that it does impede oxford is not false does not hold. ; $context$ = sent1: something that is both prokaryotic and genotypical impedes oxford. sent2: the Lincoln impedes billet if it impedes oxford and is a kind of a Senegalese. sent3: there is something such that if it is non-aboriginal thing that is a Aesop it is a rebroadcast. sent4: something is a politeness if it is not approachable and it distributes. sent5: the Lincoln is Rooseveltian if it is not a decantation and is Burmese. sent6: if the oxford is both not non-dolomitic and a toehold then the fact that it is genotypical is not false. sent7: there is something such that if it is prokaryotic and it is genotypical it does impede oxford. sent8: if the Lincoln is prokaryotic and it is genotypical then it impedes oxford. sent9: the counterrevolutionist does side harpsichord if it does not side coke and it does impede oxford. sent10: there is something such that if the fact that it is not intermolecular but a sodoku is correct it is a kind of a rebroadcast. sent11: something is a provincial if it is not a kind of a dinghy and it is a charter. sent12: there exists something such that if it does not impede ilama and reships it enters. sent13: something impedes oxford if it is both not prokaryotic and genotypical. sent14: if the doorknob is calendric and it is hematopoietic then it is genotypical. ; $proof$ = 
sent13 -> int1: if the Lincoln is a kind of non-prokaryotic thing that is genotypical then it impedes oxford.; int1 -> hypothesis; __DISPROVED__