the chilliness is not a kind of a plate.
sent1: the chilliness is not a kind of an etymology if the grotto does not tip Nefud but it is an etymology. sent2: if the chilliness does not canker then it is non-collective. sent3: there exists something such that it is uppercase and/or is not apogean. sent4: The Nefud does not tip chilliness. sent5: if either something is uppercase or it is not apogean or both then the chilliness is not a canker. sent6: the probable is a kind of a articulator. sent7: the chilliness does not tip Nefud. sent8: if the chilliness is a articulator then it is a racecard. sent9: if the fact that the grotto is not a kind of a collective is correct then it does not tip Nefud and it is an etymology. sent10: the chilliness is not a collective. sent11: if the grotto is not a articulator then the fact that it is not collective and tips Nefud hold. sent12: the chilliness is not a bellboy. sent13: the chilliness is not a plate if it is a racecard and is bivariate. sent14: the chilliness is bivariate. sent15: there exists something such that it is uppercase and/or it is apogean. sent16: if the fact that the chilliness is not an etymology hold then the Aeolian is a articulator and it cankers. sent17: the fact that the chilliness is a kind of the articulator if the chilliness is an etymology but it does not tip Nefud hold.
sent3 & sent5 -> int1: the chilliness is not a canker.;
the chilliness does plate.
$hypothesis$ = the chilliness is not a kind of a plate. ; $context$ = sent1: the chilliness is not a kind of an etymology if the grotto does not tip Nefud but it is an etymology. sent2: if the chilliness does not canker then it is non-collective. sent3: there exists something such that it is uppercase and/or is not apogean. sent4: The Nefud does not tip chilliness. sent5: if either something is uppercase or it is not apogean or both then the chilliness is not a canker. sent6: the probable is a kind of a articulator. sent7: the chilliness does not tip Nefud. sent8: if the chilliness is a articulator then it is a racecard. sent9: if the fact that the grotto is not a kind of a collective is correct then it does not tip Nefud and it is an etymology. sent10: the chilliness is not a collective. sent11: if the grotto is not a articulator then the fact that it is not collective and tips Nefud hold. sent12: the chilliness is not a bellboy. sent13: the chilliness is not a plate if it is a racecard and is bivariate. sent14: the chilliness is bivariate. sent15: there exists something such that it is uppercase and/or it is apogean. sent16: if the fact that the chilliness is not an etymology hold then the Aeolian is a articulator and it cankers. sent17: the fact that the chilliness is a kind of the articulator if the chilliness is an etymology but it does not tip Nefud hold. ; $proof$ = 
sent3 & sent5 -> int1: the chilliness is not a canker.; __UNKNOWN__