the rayon is painless.
sent1: the tinderbox is not a skip and is a novelette. sent2: that the tinderbox trucks is not incorrect if the theologian is not a forefather but it is a kind of a viscometry. sent3: the tinderbox trucks if the theologian is not a forefather and not a viscometry. sent4: something is not a metheglin or does not cohere hierarchy or both if it is unobjectionable. sent5: something coheres keyboardist and is a smilax if it does not heft stone. sent6: the fact that something does not heft sluggishness and is not macromolecular does not hold if it does not vitrify. sent7: if the fact that something is both painless and not a truck does not hold that it is not painless hold. sent8: if that the tinderbox does not skip but it is a novelette is correct it does not vitrify. sent9: the theologian does not heft stone if the tinderbox is not a kind of a metheglin. sent10: the theologian is not a forefather and is not a kind of a viscometry. sent11: the theologian is not a viscometry. sent12: the fact that the rayon is painless if the tinderbox is a truck is correct. sent13: if that something does not heft sluggishness and it is not macromolecular is not correct then it is unobjectionable. sent14: that the fact that the rayon is painless and is not a truck is not correct is correct if the theologian coheres keyboardist.
sent3 & sent10 -> int1: the tinderbox trucks.; sent12 & int1 -> hypothesis;
the rayon is not painless.
sent7 -> int2: the fact that the rayon is not painless is right if that it is not painless and it is not a kind of a truck is not right.; sent5 -> int3: if the theologian does not heft stone then it coheres keyboardist and is a smilax.; sent4 -> int4: if the fact that the tinderbox is unobjectionable is right it is not a metheglin and/or it does not cohere hierarchy.; sent13 -> int5: that the tinderbox is unobjectionable is right if the fact that it does not heft sluggishness and is not macromolecular is not correct.; sent6 -> int6: if the tinderbox does not vitrify the fact that it does not heft sluggishness and it is not macromolecular does not hold.; sent8 & sent1 -> int7: the tinderbox does not vitrify.; int6 & int7 -> int8: the fact that that the tinderbox does not heft sluggishness and is not macromolecular is true does not hold.; int5 & int8 -> int9: the tinderbox is unobjectionable.; int4 & int9 -> int10: the tinderbox either is not a metheglin or does not cohere hierarchy or both.;
$hypothesis$ = the rayon is painless. ; $context$ = sent1: the tinderbox is not a skip and is a novelette. sent2: that the tinderbox trucks is not incorrect if the theologian is not a forefather but it is a kind of a viscometry. sent3: the tinderbox trucks if the theologian is not a forefather and not a viscometry. sent4: something is not a metheglin or does not cohere hierarchy or both if it is unobjectionable. sent5: something coheres keyboardist and is a smilax if it does not heft stone. sent6: the fact that something does not heft sluggishness and is not macromolecular does not hold if it does not vitrify. sent7: if the fact that something is both painless and not a truck does not hold that it is not painless hold. sent8: if that the tinderbox does not skip but it is a novelette is correct it does not vitrify. sent9: the theologian does not heft stone if the tinderbox is not a kind of a metheglin. sent10: the theologian is not a forefather and is not a kind of a viscometry. sent11: the theologian is not a viscometry. sent12: the fact that the rayon is painless if the tinderbox is a truck is correct. sent13: if that something does not heft sluggishness and it is not macromolecular is not correct then it is unobjectionable. sent14: that the fact that the rayon is painless and is not a truck is not correct is correct if the theologian coheres keyboardist. ; $proof$ = 
sent3 & sent10 -> int1: the tinderbox trucks.; sent12 & int1 -> hypothesis; __PROVED__