there exists something such that it is not a kind of a Kobus.
sent1: the beachfront bathes groundnut. sent2: the rudapithecus bathes groundnut. sent3: the candy is not forgetful. sent4: there exists something such that it is a Kobus. sent5: the beachfront does not bathe cellarage if the fact that the calculus is non-forgetful but it does bathe groundnut is not right. sent6: the beachfront is forgetful. sent7: something is not a kind of a Kobus if it is forgetful and it does bathe groundnut. sent8: The groundnut bathes beachfront. sent9: something that is territorial and anthracitic is not a shaman. sent10: that the wear does not bathe groundnut is true.
sent6 & sent1 -> int1: the beachfront is a kind of forgetful thing that bathes groundnut.; sent7 -> int2: the beachfront is not a Kobus if it is forgetful and does bathe groundnut.; int1 & int2 -> int3: the beachfront is not a Kobus.; int3 -> hypothesis;
the beachfront does not bathe cellarage.
$hypothesis$ = there exists something such that it is not a kind of a Kobus. ; $context$ = sent1: the beachfront bathes groundnut. sent2: the rudapithecus bathes groundnut. sent3: the candy is not forgetful. sent4: there exists something such that it is a Kobus. sent5: the beachfront does not bathe cellarage if the fact that the calculus is non-forgetful but it does bathe groundnut is not right. sent6: the beachfront is forgetful. sent7: something is not a kind of a Kobus if it is forgetful and it does bathe groundnut. sent8: The groundnut bathes beachfront. sent9: something that is territorial and anthracitic is not a shaman. sent10: that the wear does not bathe groundnut is true. ; $proof$ = 
sent6 & sent1 -> int1: the beachfront is a kind of forgetful thing that bathes groundnut.; sent7 -> int2: the beachfront is not a Kobus if it is forgetful and does bathe groundnut.; int1 & int2 -> int3: the beachfront is not a Kobus.; int3 -> hypothesis; __PROVED__