the submucosa is not katabatic.
sent1: the submucosa is a kind of a nitrochloromethane. sent2: there exists something such that that it does expire inferiority and it is not a kind of a barite is incorrect. sent3: there exists something such that the fact that it is not a kind of a loquat and it is not katabatic does not hold. sent4: there exists something such that the fact that it is not epicyclic and is not a kind of a demerit is false. sent5: a non-low-level thing is a kind of a demerit or is epicyclic or both. sent6: the submucosa does not collogue anapsid. sent7: the submucosa is not a loquat. sent8: if the saddle is not katabatic it is not a loquat. sent9: if that there exists something such that the fact that it is not a hypocrite and is not katabatic is incorrect is not incorrect the submucosa is not a loquat. sent10: the fact that the saddle is katabatic is not incorrect. sent11: if there are epicyclic things then the saddle is not a loquat. sent12: if the submucosa is a kind of a hypocrite the saddle is a kind of a loquat. sent13: everything stickles Reticulum. sent14: the saddle is not a kind of a loquat if that it is not a kind of a hypocrite is correct. sent15: if the saddle is a demerit the fact that it is not a hypocrite and is a loquat is not right. sent16: the saddle is a demerit if the singlet is a kind of a demerit. sent17: if something stickles Reticulum and is a Aconitum it is not low-level. sent18: if the singlet is epicyclic the saddle is a kind of a demerit. sent19: there exists something such that that it is not a loquat and it is not a kind of a hypocrite is incorrect. sent20: that the saddle is not a kind of a loquat is correct if there exists something such that that it is a kind of non-epicyclic thing that is not a demerit is incorrect.
void -> assump1: Let's assume that the submucosa is a kind of a hypocrite.; sent12 & assump1 -> int1: the saddle is a kind of a loquat.; sent4 & sent20 -> int2: the saddle is not a kind of a loquat.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the submucosa is not a hypocrite.;
the submucosa is katabatic.
sent5 -> int5: if the singlet is not low-level either it is a demerit or it is epicyclic or both.; sent17 -> int6: if the singlet stickles Reticulum and is a Aconitum then it is not low-level.; sent13 -> int7: the green stickles Reticulum.;
$hypothesis$ = the submucosa is not katabatic. ; $context$ = sent1: the submucosa is a kind of a nitrochloromethane. sent2: there exists something such that that it does expire inferiority and it is not a kind of a barite is incorrect. sent3: there exists something such that the fact that it is not a kind of a loquat and it is not katabatic does not hold. sent4: there exists something such that the fact that it is not epicyclic and is not a kind of a demerit is false. sent5: a non-low-level thing is a kind of a demerit or is epicyclic or both. sent6: the submucosa does not collogue anapsid. sent7: the submucosa is not a loquat. sent8: if the saddle is not katabatic it is not a loquat. sent9: if that there exists something such that the fact that it is not a hypocrite and is not katabatic is incorrect is not incorrect the submucosa is not a loquat. sent10: the fact that the saddle is katabatic is not incorrect. sent11: if there are epicyclic things then the saddle is not a loquat. sent12: if the submucosa is a kind of a hypocrite the saddle is a kind of a loquat. sent13: everything stickles Reticulum. sent14: the saddle is not a kind of a loquat if that it is not a kind of a hypocrite is correct. sent15: if the saddle is a demerit the fact that it is not a hypocrite and is a loquat is not right. sent16: the saddle is a demerit if the singlet is a kind of a demerit. sent17: if something stickles Reticulum and is a Aconitum it is not low-level. sent18: if the singlet is epicyclic the saddle is a kind of a demerit. sent19: there exists something such that that it is not a loquat and it is not a kind of a hypocrite is incorrect. sent20: that the saddle is not a kind of a loquat is correct if there exists something such that that it is a kind of non-epicyclic thing that is not a demerit is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the submucosa is a kind of a hypocrite.; sent12 & assump1 -> int1: the saddle is a kind of a loquat.; sent4 & sent20 -> int2: the saddle is not a kind of a loquat.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the submucosa is not a hypocrite.; __UNKNOWN__