the microorganism is not Gaussian.
sent1: the Bercy is a Moulmein. sent2: if that that something is a soporific that is neurogenic is true is not right the fact that it does not titillate is right. sent3: the gnocchi is a kind of a Moulmein if it bogs Bloemfontein. sent4: that the flail does not lob conference but it is crural is not correct if the fact that it handles hold. sent5: something is not crural if that it does lob conference and it is not a kind of a handle is not true. sent6: there is something such that it is not a soporific. sent7: if something does bog Bloemfontein it is Gaussian. sent8: the fact that something bogs Bloemfontein and is not a Moulmein is false if it is not crural. sent9: if something that does not titillate is neurogenic then the flail is a handle. sent10: the fact that the flail is a soporific that is neurogenic is not correct. sent11: the fact that if the gnocchi is a Moulmein then the microorganism is not Gaussian is not incorrect. sent12: the fact that if there is something such that it is not a kind of a soporific the kitten does not titillate and is neurogenic is right. sent13: if the microorganism is not crural the gnocchi is a Moulmein and it does bog Bloemfontein. sent14: the gnocchi bogs Bloemfontein. sent15: The Bloemfontein bogs gnocchi.
sent3 & sent14 -> int1: the gnocchi is a Moulmein.; sent11 & int1 -> hypothesis;
the pullulation is not Gaussian.
sent5 -> int2: if that the microorganism does lob conference but it is not a kind of a handle does not hold it is not crural.; sent2 -> int3: the flail does not titillate if that it is a soporific and is neurogenic is false.; int3 & sent10 -> int4: the flail does not titillate.; int4 -> int5: there is something such that it does not titillate.;
$hypothesis$ = the microorganism is not Gaussian. ; $context$ = sent1: the Bercy is a Moulmein. sent2: if that that something is a soporific that is neurogenic is true is not right the fact that it does not titillate is right. sent3: the gnocchi is a kind of a Moulmein if it bogs Bloemfontein. sent4: that the flail does not lob conference but it is crural is not correct if the fact that it handles hold. sent5: something is not crural if that it does lob conference and it is not a kind of a handle is not true. sent6: there is something such that it is not a soporific. sent7: if something does bog Bloemfontein it is Gaussian. sent8: the fact that something bogs Bloemfontein and is not a Moulmein is false if it is not crural. sent9: if something that does not titillate is neurogenic then the flail is a handle. sent10: the fact that the flail is a soporific that is neurogenic is not correct. sent11: the fact that if the gnocchi is a Moulmein then the microorganism is not Gaussian is not incorrect. sent12: the fact that if there is something such that it is not a kind of a soporific the kitten does not titillate and is neurogenic is right. sent13: if the microorganism is not crural the gnocchi is a Moulmein and it does bog Bloemfontein. sent14: the gnocchi bogs Bloemfontein. sent15: The Bloemfontein bogs gnocchi. ; $proof$ = 
sent3 & sent14 -> int1: the gnocchi is a Moulmein.; sent11 & int1 -> hypothesis; __PROVED__