the beryl desexualizes otter.
sent1: if the digester is not hypertonic that it does mound popper and it is bipedal is correct. sent2: that everything desexualizes otter is not incorrect. sent3: the beryl is powerless. sent4: something is not non-loose if the fact that it is not a moral and it is a Alsatian is wrong. sent5: everything mounds Hanover. sent6: the fact that something is immoral but it is a kind of a Alsatian is not correct if it does mound popper. sent7: the fact that that something is a moral but it is not Alsatian is correct is incorrect if it mounds popper. sent8: something does desexualize otter if the fact that the fact that it does not desexualize otter and is not a kind of a pelvimeter is not incorrect is false. sent9: the bootstrap desexualizes otter. sent10: the fact that something does not desexualize otter and is not a kind of a pelvimeter does not hold if it is loose. sent11: the four-in-hand does not desexualize otter but it is a pelvimeter if the digester is not non-loose. sent12: if the four-in-hand does not desexualize otter and is a kind of a pelvimeter the beryl does not desexualize otter. sent13: that the percoid is bipedal and it does mound popper if the percoid is not hypertonic hold.
sent2 -> hypothesis;
the percoid does desexualize otter.
sent8 -> int1: if the fact that the percoid does not desexualize otter and is not a pelvimeter is not correct then it desexualize otter.; sent10 -> int2: if the fact that the percoid is loose is true then the fact that it does not desexualize otter and is not a pelvimeter is incorrect.; sent4 -> int3: if that the percoid is non-moral a Alsatian is not right then it is loose.; sent6 -> int4: the fact that the percoid is not moral and is Alsatian is false if it mounds popper.;
$hypothesis$ = the beryl desexualizes otter. ; $context$ = sent1: if the digester is not hypertonic that it does mound popper and it is bipedal is correct. sent2: that everything desexualizes otter is not incorrect. sent3: the beryl is powerless. sent4: something is not non-loose if the fact that it is not a moral and it is a Alsatian is wrong. sent5: everything mounds Hanover. sent6: the fact that something is immoral but it is a kind of a Alsatian is not correct if it does mound popper. sent7: the fact that that something is a moral but it is not Alsatian is correct is incorrect if it mounds popper. sent8: something does desexualize otter if the fact that the fact that it does not desexualize otter and is not a kind of a pelvimeter is not incorrect is false. sent9: the bootstrap desexualizes otter. sent10: the fact that something does not desexualize otter and is not a kind of a pelvimeter does not hold if it is loose. sent11: the four-in-hand does not desexualize otter but it is a pelvimeter if the digester is not non-loose. sent12: if the four-in-hand does not desexualize otter and is a kind of a pelvimeter the beryl does not desexualize otter. sent13: that the percoid is bipedal and it does mound popper if the percoid is not hypertonic hold. ; $proof$ = 
sent2 -> hypothesis; __PROVED__