the remover is a Metternich.
sent1: the dactyl is not endodontics. sent2: the berm is not endodontics if there exists something such that the fact that either it is not a kind of a varmint or it does disclose or both is not correct. sent3: that the dactyl is not a varmint or does disclose or both does not hold. sent4: the remover is not a Metternich if the fluoroboride is not carpellate. sent5: something is flattering and not Pharaonic if it is not beneficent. sent6: if the cadet is endodontics the dactyl is not endodontics. sent7: the dactyl is a kind of non-endodontics thing that is not carpellate if the cadet is non-endodontics. sent8: the fluoroboride is Pharaonic. sent9: the fact that the fluoroboride is carpellate but not a strabismus is wrong if the dactyl is not carpellate. sent10: the cadet is endodontics if the berm is Pharaonic. sent11: the berm is not a Metternich if the fact that the fact that the cadet is not a strabismus and not carpellate is not true is right. sent12: if the berm is both not endodontics and not a Metternich then the grout is not beneficent. sent13: if that the fluoroboride is carpellate but it is not a strabismus is wrong then the remover is not a kind of a Metternich. sent14: the remover is a Metternich and beneficent if the berm is not Pharaonic. sent15: if the fact that something is carpellate but it is not endodontics is false it is not Pharaonic. sent16: the berm is beneficent and it is Pharaonic. sent17: the berm is beneficent.
sent16 -> int1: the berm is Pharaonic.; sent10 & int1 -> int2: the cadet is endodontics.; sent7 & int2 -> int3: the dactyl is not endodontics and it is not carpellate.; int3 -> int4: that the dactyl is not carpellate is not false.; sent9 & int4 -> int5: that the fluoroboride is carpellate but it is not a strabismus is not correct.; sent13 & int5 -> hypothesis;
the remover is a kind of a Metternich.
sent15 -> int6: the berm is not Pharaonic if that it is carpellate and not endodontics is false.;
$hypothesis$ = the remover is a Metternich. ; $context$ = sent1: the dactyl is not endodontics. sent2: the berm is not endodontics if there exists something such that the fact that either it is not a kind of a varmint or it does disclose or both is not correct. sent3: that the dactyl is not a varmint or does disclose or both does not hold. sent4: the remover is not a Metternich if the fluoroboride is not carpellate. sent5: something is flattering and not Pharaonic if it is not beneficent. sent6: if the cadet is endodontics the dactyl is not endodontics. sent7: the dactyl is a kind of non-endodontics thing that is not carpellate if the cadet is non-endodontics. sent8: the fluoroboride is Pharaonic. sent9: the fact that the fluoroboride is carpellate but not a strabismus is wrong if the dactyl is not carpellate. sent10: the cadet is endodontics if the berm is Pharaonic. sent11: the berm is not a Metternich if the fact that the fact that the cadet is not a strabismus and not carpellate is not true is right. sent12: if the berm is both not endodontics and not a Metternich then the grout is not beneficent. sent13: if that the fluoroboride is carpellate but it is not a strabismus is wrong then the remover is not a kind of a Metternich. sent14: the remover is a Metternich and beneficent if the berm is not Pharaonic. sent15: if the fact that something is carpellate but it is not endodontics is false it is not Pharaonic. sent16: the berm is beneficent and it is Pharaonic. sent17: the berm is beneficent. ; $proof$ = 
sent16 -> int1: the berm is Pharaonic.; sent10 & int1 -> int2: the cadet is endodontics.; sent7 & int2 -> int3: the dactyl is not endodontics and it is not carpellate.; int3 -> int4: that the dactyl is not carpellate is not false.; sent9 & int4 -> int5: that the fluoroboride is carpellate but it is not a strabismus is not correct.; sent13 & int5 -> hypothesis; __DISPROVED__