the dumpcart is lipless.
sent1: that the coyol is a kind of non-catabolic thing that is a kind of a pack is incorrect. sent2: if that the spit does not wire learner hold the viewers is lipless and it is a kind of a draftee. sent3: the dumpcart is not lipless if the viewers is Jacobinic and is lipless. sent4: the fact that the viewers is not an esplanade but it is a strophanthus is wrong. sent5: something is not a draftee and/or it is not lipless if it does jet. sent6: the stratum is not a pack if there is something such that that it is not catabolic and it is a pack is not true. sent7: if that the mussel is not a kind of a draftee hold that either the dumpcart is not a kind of a draftee or it is Jacobinic or both does not hold. sent8: if the fact that something is not a draftee and/or is Jacobinic is not true then it is lipless. sent9: the mussel is not a jet if the stratum is not a jet and does not winter. sent10: something is both not a jet and not a winter if the fact that it is a pack is not correct. sent11: if the mussel wires learner the viewers is a jet. sent12: if the mussel is not a draftee the dumpcart is not Jacobinic. sent13: the hoya is not temperamental but it rationalizes. sent14: the fact that the viewers is both not an esplanade and not a strophanthus does not hold. sent15: if that the viewers is not a kind of an esplanade and it is not a kind of a strophanthus is not correct the fact that the mussel is not a kind of a draftee hold. sent16: the fact that the dumpcart is non-Jacobinic is not incorrect. sent17: the viewers is Jacobinic if the mussel is not Jacobinic or is not a jet or both. sent18: the mussel is not a draftee if the viewers is a strophanthus.
sent15 & sent14 -> int1: the mussel is not a draftee.; int1 & sent7 -> int2: the fact that the dumpcart is not a draftee and/or it is Jacobinic is not true.; sent8 -> int3: the fact that the dumpcart is lipless is not false if that it is either not a draftee or Jacobinic or both does not hold.; int2 & int3 -> hypothesis;
the ling is non-Jacobinic.
sent5 -> int4: if the viewers jets then it is not a draftee and/or it is not lipless.;
$hypothesis$ = the dumpcart is lipless. ; $context$ = sent1: that the coyol is a kind of non-catabolic thing that is a kind of a pack is incorrect. sent2: if that the spit does not wire learner hold the viewers is lipless and it is a kind of a draftee. sent3: the dumpcart is not lipless if the viewers is Jacobinic and is lipless. sent4: the fact that the viewers is not an esplanade but it is a strophanthus is wrong. sent5: something is not a draftee and/or it is not lipless if it does jet. sent6: the stratum is not a pack if there is something such that that it is not catabolic and it is a pack is not true. sent7: if that the mussel is not a kind of a draftee hold that either the dumpcart is not a kind of a draftee or it is Jacobinic or both does not hold. sent8: if the fact that something is not a draftee and/or is Jacobinic is not true then it is lipless. sent9: the mussel is not a jet if the stratum is not a jet and does not winter. sent10: something is both not a jet and not a winter if the fact that it is a pack is not correct. sent11: if the mussel wires learner the viewers is a jet. sent12: if the mussel is not a draftee the dumpcart is not Jacobinic. sent13: the hoya is not temperamental but it rationalizes. sent14: the fact that the viewers is both not an esplanade and not a strophanthus does not hold. sent15: if that the viewers is not a kind of an esplanade and it is not a kind of a strophanthus is not correct the fact that the mussel is not a kind of a draftee hold. sent16: the fact that the dumpcart is non-Jacobinic is not incorrect. sent17: the viewers is Jacobinic if the mussel is not Jacobinic or is not a jet or both. sent18: the mussel is not a draftee if the viewers is a strophanthus. ; $proof$ = 
sent15 & sent14 -> int1: the mussel is not a draftee.; int1 & sent7 -> int2: the fact that the dumpcart is not a draftee and/or it is Jacobinic is not true.; sent8 -> int3: the fact that the dumpcart is lipless is not false if that it is either not a draftee or Jacobinic or both does not hold.; int2 & int3 -> hypothesis; __PROVED__