the kibitzer does not retrench.
sent1: if the leech is not enforceable then the kibitzer does retrench. sent2: the leech is basipetal. sent3: the fact that the doorjamb is enforceable thing that is operculate is incorrect if the flab does not grumble flab. sent4: something is not operculate if it is not a kind of a overachiever or it does not grumble Christopher or both. sent5: the fact that either the kibitzer does not turtle or it is a glide or both is wrong. sent6: the leech is not cruciferous. sent7: if a non-basipetal thing is enforceable it does not retrench. sent8: if the leech grumbles flab then the kibitzer is non-basipetal but it is enforceable. sent9: if the leech is not operculate then the pompano grumbles flab and it is enforceable. sent10: if the leech is basipetal then it is not a kind of a nurse and it is not cruciferous. sent11: if the leech is not a nurse and it is not cruciferous it is not enforceable. sent12: if the leech is basipetal it is not cruciferous. sent13: that the sutler does not wrestle cymbid is correct if it is enforceable and it is not ventral. sent14: something does retrench if it is basipetal. sent15: if the fact that the kibitzer is not a kind of a turtle and/or it is a glide does not hold the leech is not a kind of a overachiever. sent16: the kibitzer is non-cruciferous thing that does not retrench if it is a nurse. sent17: the leech is not a winery if it does not noose and is not a larid. sent18: the leech is not enforceable if it is not a kind of a nurse and is cruciferous.
sent10 & sent2 -> int1: the leech is not a nurse and it is not cruciferous.; int1 & sent11 -> int2: the leech is not enforceable.; int2 & sent1 -> hypothesis;
the pompano does retrench.
sent14 -> int3: the pompano does retrench if it is basipetal.; sent4 -> int4: the leech is non-operculate if it is not a overachiever or it does not grumble Christopher or both.; sent15 & sent5 -> int5: the leech is not a overachiever.; int5 -> int6: the leech is not a overachiever and/or does not grumble Christopher.; int4 & int6 -> int7: the leech is not operculate.; sent9 & int7 -> int8: the pompano does grumble flab and it is enforceable.; int8 -> int9: the pompano is enforceable.;
$hypothesis$ = the kibitzer does not retrench. ; $context$ = sent1: if the leech is not enforceable then the kibitzer does retrench. sent2: the leech is basipetal. sent3: the fact that the doorjamb is enforceable thing that is operculate is incorrect if the flab does not grumble flab. sent4: something is not operculate if it is not a kind of a overachiever or it does not grumble Christopher or both. sent5: the fact that either the kibitzer does not turtle or it is a glide or both is wrong. sent6: the leech is not cruciferous. sent7: if a non-basipetal thing is enforceable it does not retrench. sent8: if the leech grumbles flab then the kibitzer is non-basipetal but it is enforceable. sent9: if the leech is not operculate then the pompano grumbles flab and it is enforceable. sent10: if the leech is basipetal then it is not a kind of a nurse and it is not cruciferous. sent11: if the leech is not a nurse and it is not cruciferous it is not enforceable. sent12: if the leech is basipetal it is not cruciferous. sent13: that the sutler does not wrestle cymbid is correct if it is enforceable and it is not ventral. sent14: something does retrench if it is basipetal. sent15: if the fact that the kibitzer is not a kind of a turtle and/or it is a glide does not hold the leech is not a kind of a overachiever. sent16: the kibitzer is non-cruciferous thing that does not retrench if it is a nurse. sent17: the leech is not a winery if it does not noose and is not a larid. sent18: the leech is not enforceable if it is not a kind of a nurse and is cruciferous. ; $proof$ = 
sent10 & sent2 -> int1: the leech is not a nurse and it is not cruciferous.; int1 & sent11 -> int2: the leech is not enforceable.; int2 & sent1 -> hypothesis; __DISPROVED__