the diorite is not a kitul.
sent1: if the fact that the fact that the haven is unaware and it is pyretic is not true hold then that it does not debar AFSPC hold. sent2: the diorite is a kitul if the fret is a paleographer. sent3: if the haven does not debar AFSPC then that the pseudopod is a kind of a massager but it is not messianic does not hold. sent4: the fret is a kind of a kitul if it is a paleographer. sent5: the apar is a kitul. sent6: if that something is intercellular but it does not desecrate diorite is not correct it is not black-and-white. sent7: if the May is not piscine that the sadist is a kind of intercellular thing that does not desecrate diorite is not right. sent8: the gooseflesh is a kitul. sent9: if there is something such that the fact that it is a massager and is not messianic is incorrect the May is not piscine. sent10: if the fret is a downshift then it is a kind of a kitul. sent11: if the diorite is ictal it is a platypus. sent12: that the haven is unaware and it is pyretic does not hold. sent13: the fret does debar viola. sent14: the fret is a kind of a kitul if it hollos. sent15: if the fact that something does hollo and it is a kitul does not hold then it is not a kitul. sent16: the fret is a kind of a paleographer if it hollos. sent17: if the diorite is a paleographer then the fact that it is a kitul is right. sent18: the fret does not hollo if the fact that the brilliantine is nonmagnetic and/or it is a paleographer does not hold. sent19: the fret does hollo.
sent16 & sent19 -> int1: the fret is a paleographer.; sent2 & int1 -> hypothesis;
that the diorite is not a kitul hold.
sent15 -> int2: if the fact that the diorite does hollo and it is a kitul is wrong it is not a kitul.; sent6 -> int3: if that the sadist is intercellular and does not desecrate diorite is incorrect it is not black-and-white.; sent1 & sent12 -> int4: the fact that the haven does not debar AFSPC is not incorrect.; sent3 & int4 -> int5: that the pseudopod is a kind of a massager but it is not messianic is not true.; int5 -> int6: there is something such that the fact that it is a kind of a massager and it is not messianic is false.; int6 & sent9 -> int7: the fact that the May is not piscine hold.; sent7 & int7 -> int8: the fact that the fact that the sadist is intercellular and does not desecrate diorite hold does not hold.; int3 & int8 -> int9: the sadist is not black-and-white.; int9 -> int10: there are non-black-and-white things.;
$hypothesis$ = the diorite is not a kitul. ; $context$ = sent1: if the fact that the fact that the haven is unaware and it is pyretic is not true hold then that it does not debar AFSPC hold. sent2: the diorite is a kitul if the fret is a paleographer. sent3: if the haven does not debar AFSPC then that the pseudopod is a kind of a massager but it is not messianic does not hold. sent4: the fret is a kind of a kitul if it is a paleographer. sent5: the apar is a kitul. sent6: if that something is intercellular but it does not desecrate diorite is not correct it is not black-and-white. sent7: if the May is not piscine that the sadist is a kind of intercellular thing that does not desecrate diorite is not right. sent8: the gooseflesh is a kitul. sent9: if there is something such that the fact that it is a massager and is not messianic is incorrect the May is not piscine. sent10: if the fret is a downshift then it is a kind of a kitul. sent11: if the diorite is ictal it is a platypus. sent12: that the haven is unaware and it is pyretic does not hold. sent13: the fret does debar viola. sent14: the fret is a kind of a kitul if it hollos. sent15: if the fact that something does hollo and it is a kitul does not hold then it is not a kitul. sent16: the fret is a kind of a paleographer if it hollos. sent17: if the diorite is a paleographer then the fact that it is a kitul is right. sent18: the fret does not hollo if the fact that the brilliantine is nonmagnetic and/or it is a paleographer does not hold. sent19: the fret does hollo. ; $proof$ = 
sent16 & sent19 -> int1: the fret is a paleographer.; sent2 & int1 -> hypothesis; __DISPROVED__