that the tenor is a kind of a leanness that is a afterworld is false.
sent1: if something is not postmodernist it is prejudicial. sent2: something is a kind of a leanness if it is not a sunstone. sent3: the lunger is parturient and a sunstone. sent4: something is a kind of a pull-in but it is not a kind of a pfannkuchen if it is a plenum. sent5: if something is a rationale then it is an offerer and is not a sunstone. sent6: the fact that the transactor is both a Chimera and a pentatone is not true. sent7: if the condor is prejudicial and it is a pull-in the fact that the xylose is not a kind of a pork hold. sent8: if the fielder is not a rationale that that the tenor is a leanness and it is a afterworld is false is not incorrect. sent9: the fielder is not a rationale if there exists something such that it is not an offerer or is a kind of a tread-softly or both. sent10: either the Singaporean is not an offerer or it is a tread-softly or both if the xylose is not a pork. sent11: the condor is a plenum but it is not allomerous.
sent3 -> int1: there is something such that it is parturient and it is a kind of a sunstone.; sent1 -> int2: if the condor is not postmodernist it is prejudicial.; sent4 -> int3: if the condor is a plenum then it is a pull-in and it is not a pfannkuchen.; sent11 -> int4: the condor is a plenum.; int3 & int4 -> int5: the condor is a pull-in but it is not a pfannkuchen.; int5 -> int6: the condor is a pull-in.;
$hypothesis$ = that the tenor is a kind of a leanness that is a afterworld is false. ; $context$ = sent1: if something is not postmodernist it is prejudicial. sent2: something is a kind of a leanness if it is not a sunstone. sent3: the lunger is parturient and a sunstone. sent4: something is a kind of a pull-in but it is not a kind of a pfannkuchen if it is a plenum. sent5: if something is a rationale then it is an offerer and is not a sunstone. sent6: the fact that the transactor is both a Chimera and a pentatone is not true. sent7: if the condor is prejudicial and it is a pull-in the fact that the xylose is not a kind of a pork hold. sent8: if the fielder is not a rationale that that the tenor is a leanness and it is a afterworld is false is not incorrect. sent9: the fielder is not a rationale if there exists something such that it is not an offerer or is a kind of a tread-softly or both. sent10: either the Singaporean is not an offerer or it is a tread-softly or both if the xylose is not a pork. sent11: the condor is a plenum but it is not allomerous. ; $proof$ = 
sent3 -> int1: there is something such that it is parturient and it is a kind of a sunstone.; sent1 -> int2: if the condor is not postmodernist it is prejudicial.; sent4 -> int3: if the condor is a plenum then it is a pull-in and it is not a pfannkuchen.; sent11 -> int4: the condor is a plenum.; int3 & int4 -> int5: the condor is a pull-in but it is not a pfannkuchen.; int5 -> int6: the condor is a pull-in.; __UNKNOWN__