there is something such that that it does loosen and/or is athletic is false.
sent1: something is aboriginal if it is geographic. sent2: the grubby is a kind of a Rhadamanthus if that the overlap is unregenerate and/or does not personify accession does not hold. sent3: the overlap is a kind of a omentum if the grubby is aboriginal. sent4: if there is something such that it is a omentum then that either the printing does loosen or it is athletic or both is false. sent5: the grubby is geographic if there exists something such that it is unregenerate or it does personify accession or both. sent6: the printing is not athletic. sent7: there exists something such that it is not athletic. sent8: there is something such that it is a biquadratic or does idealize or both. sent9: something is unregenerate or does personify accession or both.
sent9 & sent5 -> int1: that the grubby is not non-geographic hold.; sent1 -> int2: the grubby is aboriginal if it is geographic.; int1 & int2 -> int3: the grubby is aboriginal.; int3 & sent3 -> int4: the overlap is a omentum.; int4 -> int5: there exists something such that it is a omentum.; int5 & sent4 -> int6: the fact that the printing loosens or is athletic or both is not true.; int6 -> hypothesis;
there exists something such that it is a Rhadamanthus.
$hypothesis$ = there is something such that that it does loosen and/or is athletic is false. ; $context$ = sent1: something is aboriginal if it is geographic. sent2: the grubby is a kind of a Rhadamanthus if that the overlap is unregenerate and/or does not personify accession does not hold. sent3: the overlap is a kind of a omentum if the grubby is aboriginal. sent4: if there is something such that it is a omentum then that either the printing does loosen or it is athletic or both is false. sent5: the grubby is geographic if there exists something such that it is unregenerate or it does personify accession or both. sent6: the printing is not athletic. sent7: there exists something such that it is not athletic. sent8: there is something such that it is a biquadratic or does idealize or both. sent9: something is unregenerate or does personify accession or both. ; $proof$ = 
sent9 & sent5 -> int1: that the grubby is not non-geographic hold.; sent1 -> int2: the grubby is aboriginal if it is geographic.; int1 & int2 -> int3: the grubby is aboriginal.; int3 & sent3 -> int4: the overlap is a omentum.; int4 -> int5: there exists something such that it is a omentum.; int5 & sent4 -> int6: the fact that the printing loosens or is athletic or both is not true.; int6 -> hypothesis; __PROVED__