the fact that the AMD does not astringe foreigner and it is not Mishnaic is wrong.
sent1: the nephron is not Mishnaic if something that does not astringe foreigner is rectal. sent2: there exists something such that it is not a vestmented but bacillar. sent3: something rabbets Oxandra. sent4: the fact that the poplar is not a vestmented hold if something is not rectal but it is bacillar. sent5: the fact that the poplar is not a vestmented is right if something does not astringe foreigner and is bacillar. sent6: something is bacillar and it astringes foreigner. sent7: if something is a vestmented it does not astringe foreigner and is not Mishnaic. sent8: the fact that the fact that the osier tangos but it does not rabbet AMD does not hold is not false. sent9: the fact that something is rectal and is bacillar is right. sent10: that the AMD does not astringe foreigner and is Mishnaic is not right if the poplar is not a kind of a vestmented. sent11: that the AMD does not astringe foreigner but it is Mishnaic does not hold. sent12: the fact that the nephron is not bacillar but it is Mishnaic is not right if the AMD is not rectal. sent13: that the AMD is both not Mishnaic and not rectal is wrong. sent14: the nephron is not nidicolous. sent15: the AMD is not bacillar if there is something such that it is not rectal and it does astringe foreigner. sent16: the nephron is not rectal but bacillar.
sent16 -> int1: there is something such that it is not rectal and is bacillar.; int1 & sent4 -> int2: the poplar is not a vestmented.;
the AMD does not astringe foreigner and is not Mishnaic.
sent7 -> int3: if the AMD is a kind of a vestmented it does not astringe foreigner and is not Mishnaic.;
$hypothesis$ = the fact that the AMD does not astringe foreigner and it is not Mishnaic is wrong. ; $context$ = sent1: the nephron is not Mishnaic if something that does not astringe foreigner is rectal. sent2: there exists something such that it is not a vestmented but bacillar. sent3: something rabbets Oxandra. sent4: the fact that the poplar is not a vestmented hold if something is not rectal but it is bacillar. sent5: the fact that the poplar is not a vestmented is right if something does not astringe foreigner and is bacillar. sent6: something is bacillar and it astringes foreigner. sent7: if something is a vestmented it does not astringe foreigner and is not Mishnaic. sent8: the fact that the fact that the osier tangos but it does not rabbet AMD does not hold is not false. sent9: the fact that something is rectal and is bacillar is right. sent10: that the AMD does not astringe foreigner and is Mishnaic is not right if the poplar is not a kind of a vestmented. sent11: that the AMD does not astringe foreigner but it is Mishnaic does not hold. sent12: the fact that the nephron is not bacillar but it is Mishnaic is not right if the AMD is not rectal. sent13: that the AMD is both not Mishnaic and not rectal is wrong. sent14: the nephron is not nidicolous. sent15: the AMD is not bacillar if there is something such that it is not rectal and it does astringe foreigner. sent16: the nephron is not rectal but bacillar. ; $proof$ = 
sent16 -> int1: there is something such that it is not rectal and is bacillar.; int1 & sent4 -> int2: the poplar is not a vestmented.; __UNKNOWN__