the carnallite is epilithic.
sent1: there is something such that it is unrestrictive. sent2: if something that is not a pharma does beat pacing then it is not cheliceral. sent3: that the outcast is epilithic is true if the carnallite is not a kind of a tucker-bag but it is a kind of a former. sent4: something is not cheliceral if either it is not a kind of a pharma or it weeds beam or both. sent5: if something does not weed beam and is not a CBR it beats pacing. sent6: something that is a grove is not epilithic. sent7: the outcast is a grove if the carnallite is not a tucker-bag but it is a former. sent8: if there is something such that the fact that it is not a kind of a grove and beats pacing is incorrect the outcast is a grove. sent9: that the will-o'-the-wisp is not non-cheliceral is not false if the outcast is not a tucker-bag but it is a former. sent10: if the will-o'-the-wisp is epilithic then the carnallite is cheliceral. sent11: that the will-o'-the-wisp is not a pharma but it does spot Alexandrian does not hold if that the flatbread is not a dig is not false. sent12: something is not a kind of a tucker-bag and is a kind of a former if it is a grove. sent13: if that the outcast is epilithic is correct then it is not a tucker-bag and it is a grove. sent14: if something is a grove the will-o'-the-wisp does not beat pacing. sent15: if the outcast is a grove the fact that it is not a tucker-bag hold. sent16: if something is not cheliceral that it is not a grove and it is not epilithic does not hold. sent17: there is something such that that the fact that it is not a grove and does beat pacing is not wrong does not hold. sent18: if the will-o'-the-wisp does not beat pacing the carnallite beat pacing. sent19: the flatbread does not dig. sent20: that the outcast is not a grove is incorrect if there exists something such that it is a grove.
sent12 -> int1: the outcast is not a tucker-bag but it is former if it is a grove.; sent17 & sent8 -> int2: the outcast is a grove.; int1 & int2 -> int3: the outcast is not a tucker-bag but it is a former.; int3 & sent9 -> int4: the fact that the will-o'-the-wisp is cheliceral is true.;
the carnallite beats pacing.
sent4 -> int5: if the fact that the palpebration is not a pharma and/or does weed beam is not wrong then it is not cheliceral.; sent16 -> int6: the fact that the grange is both not a grove and not epilithic is wrong if it is not cheliceral.;
$hypothesis$ = the carnallite is epilithic. ; $context$ = sent1: there is something such that it is unrestrictive. sent2: if something that is not a pharma does beat pacing then it is not cheliceral. sent3: that the outcast is epilithic is true if the carnallite is not a kind of a tucker-bag but it is a kind of a former. sent4: something is not cheliceral if either it is not a kind of a pharma or it weeds beam or both. sent5: if something does not weed beam and is not a CBR it beats pacing. sent6: something that is a grove is not epilithic. sent7: the outcast is a grove if the carnallite is not a tucker-bag but it is a former. sent8: if there is something such that the fact that it is not a kind of a grove and beats pacing is incorrect the outcast is a grove. sent9: that the will-o'-the-wisp is not non-cheliceral is not false if the outcast is not a tucker-bag but it is a former. sent10: if the will-o'-the-wisp is epilithic then the carnallite is cheliceral. sent11: that the will-o'-the-wisp is not a pharma but it does spot Alexandrian does not hold if that the flatbread is not a dig is not false. sent12: something is not a kind of a tucker-bag and is a kind of a former if it is a grove. sent13: if that the outcast is epilithic is correct then it is not a tucker-bag and it is a grove. sent14: if something is a grove the will-o'-the-wisp does not beat pacing. sent15: if the outcast is a grove the fact that it is not a tucker-bag hold. sent16: if something is not cheliceral that it is not a grove and it is not epilithic does not hold. sent17: there is something such that that the fact that it is not a grove and does beat pacing is not wrong does not hold. sent18: if the will-o'-the-wisp does not beat pacing the carnallite beat pacing. sent19: the flatbread does not dig. sent20: that the outcast is not a grove is incorrect if there exists something such that it is a grove. ; $proof$ = 
sent12 -> int1: the outcast is not a tucker-bag but it is former if it is a grove.; sent17 & sent8 -> int2: the outcast is a grove.; int1 & int2 -> int3: the outcast is not a tucker-bag but it is a former.; int3 & sent9 -> int4: the fact that the will-o'-the-wisp is cheliceral is true.; __UNKNOWN__