the fact that there is something such that if it is not a kind of an oral the fact that it is not a grant-in-aid and it is autotelic is not right is incorrect.
sent1: that something is a grant-in-aid that is autotelic is wrong if it is non-oral. sent2: the fact that something is not a grant-in-aid but it is autotelic is not true if it is an oral. sent3: there is something such that if it is not oral it is not a grant-in-aid and it is autotelic. sent4: if the fact that something is not an oral hold it is not a grant-in-aid and is autotelic. sent5: there exists something such that if it is cormous then the fact that it is not a dye and it is a kind of a spleen is not right. sent6: there exists something such that if it is not a Ephesian it is both not aerolitic and a brownie. sent7: there is something such that if it is oral that it is not a kind of a grant-in-aid and it is autotelic is not correct. sent8: that the rod is not a grant-in-aid but it is autotelic is false if it is an oral. sent9: the rod is not a kind of a grant-in-aid but it is autotelic if it is not a kind of an oral. sent10: if something is not a kind of an oral that it is not a grant-in-aid but autotelic does not hold. sent11: that the landmass is not a Litany but it is an oral is not right if it is a deletion. sent12: there exists something such that if it is not an oral then the fact that it is a grant-in-aid that is autotelic is not true.
sent10 -> int1: the fact that the rod is not a grant-in-aid but it is autotelic is not correct if it is not an oral.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of an oral the fact that it is not a grant-in-aid and it is autotelic is not right is incorrect. ; $context$ = sent1: that something is a grant-in-aid that is autotelic is wrong if it is non-oral. sent2: the fact that something is not a grant-in-aid but it is autotelic is not true if it is an oral. sent3: there is something such that if it is not oral it is not a grant-in-aid and it is autotelic. sent4: if the fact that something is not an oral hold it is not a grant-in-aid and is autotelic. sent5: there exists something such that if it is cormous then the fact that it is not a dye and it is a kind of a spleen is not right. sent6: there exists something such that if it is not a Ephesian it is both not aerolitic and a brownie. sent7: there is something such that if it is oral that it is not a kind of a grant-in-aid and it is autotelic is not correct. sent8: that the rod is not a grant-in-aid but it is autotelic is false if it is an oral. sent9: the rod is not a kind of a grant-in-aid but it is autotelic if it is not a kind of an oral. sent10: if something is not a kind of an oral that it is not a grant-in-aid but autotelic does not hold. sent11: that the landmass is not a Litany but it is an oral is not right if it is a deletion. sent12: there exists something such that if it is not an oral then the fact that it is a grant-in-aid that is autotelic is not true. ; $proof$ = 
sent10 -> int1: the fact that the rod is not a grant-in-aid but it is autotelic is not correct if it is not an oral.; int1 -> hypothesis; __DISPROVED__