the jamb is meaty.
sent1: the lynx is nonfatal. sent2: the trichodesmium is Mormons. sent3: if that the kitten is a Mormons is true the psilocybin is nonfatal. sent4: if something does not acquaint four and is a kind of a submersible it is not nonfatal. sent5: the jamb is a Bura if the psilocybin is not non-meaty. sent6: the triangle is a kind of a Mormons. sent7: if the jamb does not bunk causality but it does acquaint trichodesmium it does not staple Britten. sent8: something does not acquaint four but it is a submersible if it does not staple Britten. sent9: the psilocybin is meaty if the jamb is a Bura. sent10: if the psilocybin is a kind of a Bura then the kitten is not fatal. sent11: the psilocybin is a Bura but it is not a Mormons. sent12: the psilocybin is nonfatal but it is not a Mormons. sent13: the psilocybin is not a Mormons. sent14: if the kitten is nonfatal then the jamb is meaty. sent15: the fact that the kitten is a Mormons hold. sent16: something is a kind of a Bura and it is Mormons if it is not nonfatal. sent17: if the psilocybin is nonfatal then the kitten is a Bura. sent18: the kitten is a kind of a Bura. sent19: the jamb is a Mormons. sent20: if something that is a kind of a Bura is a kind of a Mormons then it is not meaty. sent21: the jamb is nonfatal.
sent11 -> int1: the psilocybin is a kind of a Bura.; sent10 & int1 -> int2: the kitten is nonfatal.; sent14 & int2 -> hypothesis;
the jamb is not meaty.
sent20 -> int3: if the jamb is a Bura and a Mormons it is not meaty.; sent16 -> int4: the jamb is a Bura and a Mormons if it is not nonfatal.; sent4 -> int5: the jamb is not nonfatal if it does not acquaint four and is a submersible.; sent8 -> int6: the jamb does not acquaint four but it is a submersible if it does not staple Britten.;
$hypothesis$ = the jamb is meaty. ; $context$ = sent1: the lynx is nonfatal. sent2: the trichodesmium is Mormons. sent3: if that the kitten is a Mormons is true the psilocybin is nonfatal. sent4: if something does not acquaint four and is a kind of a submersible it is not nonfatal. sent5: the jamb is a Bura if the psilocybin is not non-meaty. sent6: the triangle is a kind of a Mormons. sent7: if the jamb does not bunk causality but it does acquaint trichodesmium it does not staple Britten. sent8: something does not acquaint four but it is a submersible if it does not staple Britten. sent9: the psilocybin is meaty if the jamb is a Bura. sent10: if the psilocybin is a kind of a Bura then the kitten is not fatal. sent11: the psilocybin is a Bura but it is not a Mormons. sent12: the psilocybin is nonfatal but it is not a Mormons. sent13: the psilocybin is not a Mormons. sent14: if the kitten is nonfatal then the jamb is meaty. sent15: the fact that the kitten is a Mormons hold. sent16: something is a kind of a Bura and it is Mormons if it is not nonfatal. sent17: if the psilocybin is nonfatal then the kitten is a Bura. sent18: the kitten is a kind of a Bura. sent19: the jamb is a Mormons. sent20: if something that is a kind of a Bura is a kind of a Mormons then it is not meaty. sent21: the jamb is nonfatal. ; $proof$ = 
sent11 -> int1: the psilocybin is a kind of a Bura.; sent10 & int1 -> int2: the kitten is nonfatal.; sent14 & int2 -> hypothesis; __PROVED__