the worm does pin.
sent1: the fact that the tender is not immaterial is true if there is something such that the fact that it does not slave stenographer is not incorrect. sent2: the tender is not immaterial. sent3: the prawn does not slave stenographer. sent4: there exists something such that it is not immaterial. sent5: The stenographer does not slave prawn. sent6: something is not immaterial if the fact that it is not a comment and it is a pin does not hold. sent7: if there is something such that that it is not an octave and/or it is immaterial is not true the worm does not pin. sent8: if there exists something such that it is not immaterial then that the worm does not slave stenographer and is not an octave is not correct. sent9: that the glomerulus does not comment and/or it is not a quack is incorrect. sent10: something slaves stenographer and is a kind of a pin if it is not an octave. sent11: the fact that the glomerulus does not comment but it is a pin is wrong if it is not a kind of a quack. sent12: the fact that the tender is either not an octave or not non-immaterial or both is not correct if there is something such that it does not slave stenographer. sent13: something is an octave. sent14: the drinking is not an octave. sent15: there exists something such that that it does slave stenographer is not incorrect.
sent3 -> int1: there exists something such that it does not slave stenographer.; int1 & sent12 -> int2: that that the tender is not an octave and/or it is immaterial is not incorrect is not correct.; int2 -> int3: there exists something such that the fact that it is not an octave or is immaterial or both is not correct.; int3 & sent7 -> hypothesis;
the worm is a pin.
sent10 -> int4: the worm does slave stenographer and it pins if it is not an octave.; sent9 -> int5: the fact that there is something such that that it is not a comment and/or it is not a quack is incorrect is right.;
$hypothesis$ = the worm does pin. ; $context$ = sent1: the fact that the tender is not immaterial is true if there is something such that the fact that it does not slave stenographer is not incorrect. sent2: the tender is not immaterial. sent3: the prawn does not slave stenographer. sent4: there exists something such that it is not immaterial. sent5: The stenographer does not slave prawn. sent6: something is not immaterial if the fact that it is not a comment and it is a pin does not hold. sent7: if there is something such that that it is not an octave and/or it is immaterial is not true the worm does not pin. sent8: if there exists something such that it is not immaterial then that the worm does not slave stenographer and is not an octave is not correct. sent9: that the glomerulus does not comment and/or it is not a quack is incorrect. sent10: something slaves stenographer and is a kind of a pin if it is not an octave. sent11: the fact that the glomerulus does not comment but it is a pin is wrong if it is not a kind of a quack. sent12: the fact that the tender is either not an octave or not non-immaterial or both is not correct if there is something such that it does not slave stenographer. sent13: something is an octave. sent14: the drinking is not an octave. sent15: there exists something such that that it does slave stenographer is not incorrect. ; $proof$ = 
sent3 -> int1: there exists something such that it does not slave stenographer.; int1 & sent12 -> int2: that that the tender is not an octave and/or it is immaterial is not incorrect is not correct.; int2 -> int3: there exists something such that the fact that it is not an octave or is immaterial or both is not correct.; int3 & sent7 -> hypothesis; __DISPROVED__