the fact that there exists something such that if the fact that it is both not gymnastics and not linguistic is not right then it is not geocentric is wrong.
sent1: there exists something such that if it is both not incongruent and not a nark it is not philhellenic. sent2: there is something such that if it is linguistic then it is non-geocentric. sent3: that there is something such that if that it is a kind of non-gymnastics thing that is not linguistic does not hold then it is geocentric hold. sent4: if the Death is not a kind of a peacetime and it is not linguistic it is not a mildew. sent5: there is something such that if it is non-gymnastics and it is not linguistic it is not geocentric. sent6: there exists something such that if it is not a kind of a conspectus and is not worldly then it does not stonewall. sent7: the achiever is not geocentric if it is linguistic. sent8: there exists something such that if it is a Lygus it is non-manual. sent9: there exists something such that if it is not a Berlin and is not aft then it is not unimodal. sent10: if the fact that the achiever is a kind of non-gymnastics thing that is not linguistic is incorrect it is not geocentric. sent11: there is something such that if the fact that it is gymnastics and it is not linguistic is not true that it is non-geocentric hold. sent12: there is something such that if that it is gymnastics is not wrong it is not geocentric. sent13: if the fact that the achiever is gymnastics but it is not linguistic does not hold it is not geocentric. sent14: there exists something such that if the fact that it is not gymnastics and it is linguistic is false then the fact that it is not geocentric is not false. sent15: if the fact that the achiever is non-gymnastics thing that is not linguistic is not true then the fact that it is geocentric hold. sent16: something is not a keg if that it is not a kind of a Deuteronomy and is not a kind of a Dane does not hold.
sent10 -> hypothesis;
the pawnshop is not a keg if the fact that it is not a Deuteronomy and not a Dane does not hold.
sent16 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is both not gymnastics and not linguistic is not right then it is not geocentric is wrong. ; $context$ = sent1: there exists something such that if it is both not incongruent and not a nark it is not philhellenic. sent2: there is something such that if it is linguistic then it is non-geocentric. sent3: that there is something such that if that it is a kind of non-gymnastics thing that is not linguistic does not hold then it is geocentric hold. sent4: if the Death is not a kind of a peacetime and it is not linguistic it is not a mildew. sent5: there is something such that if it is non-gymnastics and it is not linguistic it is not geocentric. sent6: there exists something such that if it is not a kind of a conspectus and is not worldly then it does not stonewall. sent7: the achiever is not geocentric if it is linguistic. sent8: there exists something such that if it is a Lygus it is non-manual. sent9: there exists something such that if it is not a Berlin and is not aft then it is not unimodal. sent10: if the fact that the achiever is a kind of non-gymnastics thing that is not linguistic is incorrect it is not geocentric. sent11: there is something such that if the fact that it is gymnastics and it is not linguistic is not true that it is non-geocentric hold. sent12: there is something such that if that it is gymnastics is not wrong it is not geocentric. sent13: if the fact that the achiever is gymnastics but it is not linguistic does not hold it is not geocentric. sent14: there exists something such that if the fact that it is not gymnastics and it is linguistic is false then the fact that it is not geocentric is not false. sent15: if the fact that the achiever is non-gymnastics thing that is not linguistic is not true then the fact that it is geocentric hold. sent16: something is not a keg if that it is not a kind of a Deuteronomy and is not a kind of a Dane does not hold. ; $proof$ = 
sent10 -> hypothesis; __DISPROVED__