the physostigmine is a NAD.
sent1: if the daygirl does not uphold Lunt the archive is a kind of a mumble but it is not a ascender. sent2: the twinflower is not an accounting and not an actuator if the chalet is not a ascender. sent3: if something is not qualitative and it does not misbehave then it is not a NAD. sent4: the physostigmine is a self-help if it is a NAD. sent5: the chalet is not a kind of a ascender if the archive mumbles and is not a ascender. sent6: the fact that the fact that something is qualitative and it is a Slovenian is not correct if it is not an actuator is not incorrect. sent7: the daygirl rends and is Rabelaisian. sent8: something is not qualitative and it does not misbehave if it is a kind of an actuator. sent9: if something is not qualitative then the fact that it is a kind of a NAD and it misbehaves does not hold. sent10: the wing-nut is qualitative thing that does criticize eggnog. sent11: the daygirl does not uphold Lunt and is not a preview if it does rend. sent12: the physostigmine is qualitative and misbehaves. sent13: the fact that that something is intermolecular hold if the fact that it does tumefy is not false hold. sent14: the physostigmine is qualitative. sent15: the physostigmine is not a NAD if that the wheeze is a kind of a NAD and it does misbehave is not right. sent16: if something does criticize thermotropism the fact that it molds is not incorrect. sent17: something is a landau if it is an originality.
sent12 -> int1: the physostigmine does misbehave.;
the crofter molds if it does criticize thermotropism.
sent16 -> hypothesis;
$hypothesis$ = the physostigmine is a NAD. ; $context$ = sent1: if the daygirl does not uphold Lunt the archive is a kind of a mumble but it is not a ascender. sent2: the twinflower is not an accounting and not an actuator if the chalet is not a ascender. sent3: if something is not qualitative and it does not misbehave then it is not a NAD. sent4: the physostigmine is a self-help if it is a NAD. sent5: the chalet is not a kind of a ascender if the archive mumbles and is not a ascender. sent6: the fact that the fact that something is qualitative and it is a Slovenian is not correct if it is not an actuator is not incorrect. sent7: the daygirl rends and is Rabelaisian. sent8: something is not qualitative and it does not misbehave if it is a kind of an actuator. sent9: if something is not qualitative then the fact that it is a kind of a NAD and it misbehaves does not hold. sent10: the wing-nut is qualitative thing that does criticize eggnog. sent11: the daygirl does not uphold Lunt and is not a preview if it does rend. sent12: the physostigmine is qualitative and misbehaves. sent13: the fact that that something is intermolecular hold if the fact that it does tumefy is not false hold. sent14: the physostigmine is qualitative. sent15: the physostigmine is not a NAD if that the wheeze is a kind of a NAD and it does misbehave is not right. sent16: if something does criticize thermotropism the fact that it molds is not incorrect. sent17: something is a landau if it is an originality. ; $proof$ = 
sent12 -> int1: the physostigmine does misbehave.; __UNKNOWN__