the fraction does not narrow.
sent1: the promethium dims bearing. sent2: if that the relaxant is a horseman hold then the plainclothesman is pelvic. sent3: the relaxant is a horseman if the promethium does last. sent4: the inventory is unfrozen if the oyster is biologistic. sent5: the oyster is either not non-biologistic or non-virulent or both if the plainclothesman is pelvic. sent6: if something is unfrozen then that either it is not virulent or it is biologistic or both is wrong. sent7: if the inventory is not a narrowing and not a farmhand then the oyster does not narrowing. sent8: if something is unfrozen it corrects. sent9: the refinement trices lithography if the inventory corrects. sent10: if the oyster is not virulent the inventory is unfrozen. sent11: if the promethium does correct then the wineberry does correct. sent12: if the refinement does trice lithography then the fraction is a kind of a narrowing. sent13: there exists nothing such that it is non-pelvic thing that is biologistic. sent14: the fact that the oyster is unfrozen and it trices lithography is true if it is not narrowing. sent15: the plainclothesman is a horseman. sent16: the fact that something is not a lasting and it does not dim bearing is not correct if that it is a horseman is wrong. sent17: the fact that either something does dim bearing or it is correct or both if it is not a lasting is correct. sent18: the wineberry is correct if the promethium does dim bearing. sent19: the promethium lasts and it does dim bearing. sent20: if the plainclothesman is not pelvic that the relaxant is not a lasting and is a horseman is false.
sent19 -> int1: the promethium does last.; int1 & sent3 -> int2: the relaxant is a kind of a horseman.; int2 & sent2 -> int3: the plainclothesman is pelvic.; int3 & sent5 -> int4: the oyster is biologistic and/or is not virulent.; int4 & sent4 & sent10 -> int5: the fact that the inventory is unfrozen is right.; sent8 -> int6: if the inventory is unfrozen then it is correct.; int5 & int6 -> int7: the inventory corrects.; int7 & sent9 -> int8: the fact that the refinement trices lithography is not wrong.; int8 & sent12 -> hypothesis;
the wineberry is correct.
sent17 -> int9: if the promethium is not lasting then it does dim bearing or it is correct or both.; sent6 -> int10: that the oyster is not virulent and/or is biologistic does not hold if that it is unfrozen is not incorrect.;
$hypothesis$ = the fraction does not narrow. ; $context$ = sent1: the promethium dims bearing. sent2: if that the relaxant is a horseman hold then the plainclothesman is pelvic. sent3: the relaxant is a horseman if the promethium does last. sent4: the inventory is unfrozen if the oyster is biologistic. sent5: the oyster is either not non-biologistic or non-virulent or both if the plainclothesman is pelvic. sent6: if something is unfrozen then that either it is not virulent or it is biologistic or both is wrong. sent7: if the inventory is not a narrowing and not a farmhand then the oyster does not narrowing. sent8: if something is unfrozen it corrects. sent9: the refinement trices lithography if the inventory corrects. sent10: if the oyster is not virulent the inventory is unfrozen. sent11: if the promethium does correct then the wineberry does correct. sent12: if the refinement does trice lithography then the fraction is a kind of a narrowing. sent13: there exists nothing such that it is non-pelvic thing that is biologistic. sent14: the fact that the oyster is unfrozen and it trices lithography is true if it is not narrowing. sent15: the plainclothesman is a horseman. sent16: the fact that something is not a lasting and it does not dim bearing is not correct if that it is a horseman is wrong. sent17: the fact that either something does dim bearing or it is correct or both if it is not a lasting is correct. sent18: the wineberry is correct if the promethium does dim bearing. sent19: the promethium lasts and it does dim bearing. sent20: if the plainclothesman is not pelvic that the relaxant is not a lasting and is a horseman is false. ; $proof$ = 
sent19 -> int1: the promethium does last.; int1 & sent3 -> int2: the relaxant is a kind of a horseman.; int2 & sent2 -> int3: the plainclothesman is pelvic.; int3 & sent5 -> int4: the oyster is biologistic and/or is not virulent.; int4 & sent4 & sent10 -> int5: the fact that the inventory is unfrozen is right.; sent8 -> int6: if the inventory is unfrozen then it is correct.; int5 & int6 -> int7: the inventory corrects.; int7 & sent9 -> int8: the fact that the refinement trices lithography is not wrong.; int8 & sent12 -> hypothesis; __DISPROVED__