the heckler is cold.
sent1: there is something such that it gets dissemination and it is not a kind of a DPH. sent2: if the Cage is not a sop the fact that the bodkin is a kind of a reversioner is true. sent3: the scauper is not a millwright if something that gets dissemination is not a kind of a DPH. sent4: something that is a kind of a stereoscope does get zygote. sent5: the fact that the scauper does not angle inviting and gets wicket-keeper is not right if it is not a millwright. sent6: if there exists something such that it is a stereoscope and a alanine then the heckler is cold. sent7: the bodkin gets zygote and is a alanine. sent8: if something is a kind of a reversioner it is a kind of a stereoscope. sent9: the Cage does not sop if the fact that the scauper does not angle inviting and gets wicket-keeper is not true. sent10: there is something such that it is a kind of a alanine. sent11: the fact that the scauper angles inviting and is a kind of a millwright is false if that it does get wicket-keeper is not correct. sent12: the bodkin does get zygote. sent13: if something does get dissemination and is a DPH then the scauper is not a millwright. sent14: there is something such that it is not a kind of a DPH. sent15: if the bodkin does not get wicket-keeper the scauper is not a reversioner.
sent1 & sent3 -> int1: the scauper is not a millwright.; int1 & sent5 -> int2: the fact that the scauper does not angle inviting but it gets wicket-keeper is not right.; int2 & sent9 -> int3: the Cage is not a sop.; int3 & sent2 -> int4: the bodkin is a reversioner.; sent8 -> int5: the bodkin is a stereoscope if it is a kind of a reversioner.; int4 & int5 -> int6: the bodkin is a stereoscope.; sent7 -> int7: the bodkin is a kind of a alanine.; int6 & int7 -> int8: the bodkin is a kind of a stereoscope and is a alanine.; int8 -> int9: there exists something such that it is a kind of a stereoscope that is a alanine.; int9 & sent6 -> hypothesis;
the heckler is not a cold.
$hypothesis$ = the heckler is cold. ; $context$ = sent1: there is something such that it gets dissemination and it is not a kind of a DPH. sent2: if the Cage is not a sop the fact that the bodkin is a kind of a reversioner is true. sent3: the scauper is not a millwright if something that gets dissemination is not a kind of a DPH. sent4: something that is a kind of a stereoscope does get zygote. sent5: the fact that the scauper does not angle inviting and gets wicket-keeper is not right if it is not a millwright. sent6: if there exists something such that it is a stereoscope and a alanine then the heckler is cold. sent7: the bodkin gets zygote and is a alanine. sent8: if something is a kind of a reversioner it is a kind of a stereoscope. sent9: the Cage does not sop if the fact that the scauper does not angle inviting and gets wicket-keeper is not true. sent10: there is something such that it is a kind of a alanine. sent11: the fact that the scauper angles inviting and is a kind of a millwright is false if that it does get wicket-keeper is not correct. sent12: the bodkin does get zygote. sent13: if something does get dissemination and is a DPH then the scauper is not a millwright. sent14: there is something such that it is not a kind of a DPH. sent15: if the bodkin does not get wicket-keeper the scauper is not a reversioner. ; $proof$ = 
sent1 & sent3 -> int1: the scauper is not a millwright.; int1 & sent5 -> int2: the fact that the scauper does not angle inviting but it gets wicket-keeper is not right.; int2 & sent9 -> int3: the Cage is not a sop.; int3 & sent2 -> int4: the bodkin is a reversioner.; sent8 -> int5: the bodkin is a stereoscope if it is a kind of a reversioner.; int4 & int5 -> int6: the bodkin is a stereoscope.; sent7 -> int7: the bodkin is a kind of a alanine.; int6 & int7 -> int8: the bodkin is a kind of a stereoscope and is a alanine.; int8 -> int9: there exists something such that it is a kind of a stereoscope that is a alanine.; int9 & sent6 -> hypothesis; __PROVED__