the fact that the rosewood is not a kind of a works hold.
sent1: that something does not work but it tinctures postulator is false if it does not fall tachistoscope. sent2: if the postulator is unseamanlike it is not a Ajaia and it is a kind of a theosophy. sent3: if the postulator is not a Ajaia but it is a kind of a theosophy then the pythium is sinistral. sent4: the pythium is not a bullethead. sent5: The postulator does tincture pythium. sent6: the burrow does not fall tachistoscope. sent7: the postulator is unseamanlike. sent8: if the pythium is sinistral that it is not Dionysian and it is publishable is incorrect. sent9: something is not a kind of a bullethead if that it is not Dionysian and it is publishable is not true. sent10: the rosewood is not a kind of a bullethead if the fact that the pythium does fall tachistoscope is correct. sent11: the rosewood is not a bullethead. sent12: if the pythium tinctures postulator then it falls tachistoscope. sent13: the rosewood does not tincture postulator and it is not a kind of a bullethead. sent14: if the pythium does fall tachistoscope then the rosewood is not a bullethead and it is not a works. sent15: the pythium does tincture postulator.
sent12 & sent15 -> int1: the pythium falls tachistoscope.; int1 & sent14 -> int2: the rosewood is not a kind of a bullethead and is not a works.; int2 -> hypothesis;
the rosewood is a works.
sent1 -> int3: the fact that the pythium is not a works but it does tincture postulator is false if it does not fall tachistoscope.; sent9 -> int4: if the fact that the pythium is non-Dionysian thing that is publishable is false it is not a bullethead.; sent2 & sent7 -> int5: the postulator is not a Ajaia and is a theosophy.; sent3 & int5 -> int6: that the pythium is not sinistral is incorrect.; sent8 & int6 -> int7: that the pythium is not Dionysian but it is publishable does not hold.; int4 & int7 -> int8: the pythium is not a bullethead.;
$hypothesis$ = the fact that the rosewood is not a kind of a works hold. ; $context$ = sent1: that something does not work but it tinctures postulator is false if it does not fall tachistoscope. sent2: if the postulator is unseamanlike it is not a Ajaia and it is a kind of a theosophy. sent3: if the postulator is not a Ajaia but it is a kind of a theosophy then the pythium is sinistral. sent4: the pythium is not a bullethead. sent5: The postulator does tincture pythium. sent6: the burrow does not fall tachistoscope. sent7: the postulator is unseamanlike. sent8: if the pythium is sinistral that it is not Dionysian and it is publishable is incorrect. sent9: something is not a kind of a bullethead if that it is not Dionysian and it is publishable is not true. sent10: the rosewood is not a kind of a bullethead if the fact that the pythium does fall tachistoscope is correct. sent11: the rosewood is not a bullethead. sent12: if the pythium tinctures postulator then it falls tachistoscope. sent13: the rosewood does not tincture postulator and it is not a kind of a bullethead. sent14: if the pythium does fall tachistoscope then the rosewood is not a bullethead and it is not a works. sent15: the pythium does tincture postulator. ; $proof$ = 
sent12 & sent15 -> int1: the pythium falls tachistoscope.; int1 & sent14 -> int2: the rosewood is not a kind of a bullethead and is not a works.; int2 -> hypothesis; __PROVED__