the exteroceptor is an opening if that the gazetteer is carposporic is not false.
sent1: that the gazetteer opens and it does degrade does not hold if the bitternut does not get eyeliner. sent2: the fact that that the bitternut is not an opening but it does degrade is true is not correct if the exteroceptor degrade. sent3: if the bitternut does degrade then the exteroceptor is not non-opening. sent4: if something is not an opening then the fact that it is not carposporic and it is not cultural does not hold. sent5: that the bitternut does degrade and is cultural is false. sent6: if the bitternut is a tramontane or it does not get eyeliner or both then it does not get eyeliner. sent7: the fact that the gazetteer opens hold. sent8: the bitternut is a SEAL. sent9: the exteroceptor is carposporic. sent10: the fact that that the bitternut does not degrade and is cultural is not incorrect is not correct if the gazetteer is cultural. sent11: the fact that the bitternut degrades and is cultural does not hold if that the gazetteer is cultural is not incorrect. sent12: if that the fact that something is an opening and it degrades hold is not right then it is not an opening. sent13: the gazetteer is geopolitical. sent14: the exteroceptor is cultural. sent15: the bitternut is cultural if the fact that the exteroceptor is non-opening but it is carposporic is not correct. sent16: the exteroceptor does open if that the bitternut does not degrade and is cultural is wrong.
the snuffbox is carposporic.
sent4 -> int1: if the gazetteer does not open then that it is both not carposporic and not cultural is not correct.; sent12 -> int2: the fact that the gazetteer is not a kind of an opening is right if the fact that it opening and it does degrade is not correct.;
$hypothesis$ = the exteroceptor is an opening if that the gazetteer is carposporic is not false. ; $context$ = sent1: that the gazetteer opens and it does degrade does not hold if the bitternut does not get eyeliner. sent2: the fact that that the bitternut is not an opening but it does degrade is true is not correct if the exteroceptor degrade. sent3: if the bitternut does degrade then the exteroceptor is not non-opening. sent4: if something is not an opening then the fact that it is not carposporic and it is not cultural does not hold. sent5: that the bitternut does degrade and is cultural is false. sent6: if the bitternut is a tramontane or it does not get eyeliner or both then it does not get eyeliner. sent7: the fact that the gazetteer opens hold. sent8: the bitternut is a SEAL. sent9: the exteroceptor is carposporic. sent10: the fact that that the bitternut does not degrade and is cultural is not incorrect is not correct if the gazetteer is cultural. sent11: the fact that the bitternut degrades and is cultural does not hold if that the gazetteer is cultural is not incorrect. sent12: if that the fact that something is an opening and it degrades hold is not right then it is not an opening. sent13: the gazetteer is geopolitical. sent14: the exteroceptor is cultural. sent15: the bitternut is cultural if the fact that the exteroceptor is non-opening but it is carposporic is not correct. sent16: the exteroceptor does open if that the bitternut does not degrade and is cultural is wrong. ; $proof$ = 
__UNKNOWN__