the martin does commercialize inspectorate and it is a kind of a racerunner.
sent1: the dunce bathes mainframe. sent2: the villus does not commercialize inspectorate if the fact that the Tyrolean does not commercialize inspectorate and/or does bathe mainframe does not hold. sent3: there is something such that it is a racerunner. sent4: the joss does bathe mainframe. sent5: the villus is a pie and it is a kind of a racerunner. sent6: the martin is a kind of a noisiness and it is a oxidase. sent7: if something is unreverberant the martin does bathe mainframe and it does commercialize inspectorate. sent8: that the martin is a racerunner is right if there exists something such that that it does not deplume and it is not a Niger is not right. sent9: the fact that the villus does not deplume and it is not a Niger is not true. sent10: something is unreverberant if it is a Niger. sent11: the fact that the Tyrolean does not commercialize inspectorate and/or it does bathe mainframe is not correct if the symposiast is unreverberant. sent12: if that the stirrup is not a kind of a Niger and it does not deplume is not true the symposiast is a Niger. sent13: there is something such that it is unreverberant. sent14: the martin bathes mainframe if there exists something such that it is a racerunner. sent15: the martin is a racerunner if there exists something such that it is a Niger.
sent13 & sent7 -> int1: the martin does bathe mainframe and it commercializes inspectorate.; int1 -> int2: the martin does commercialize inspectorate.; sent9 -> int3: there exists something such that the fact that it does not deplume and it is not a kind of a Niger does not hold.; int3 & sent8 -> int4: the martin is a racerunner.; int2 & int4 -> hypothesis;
the fact that the martin does commercialize inspectorate and it is a racerunner is not correct.
sent10 -> int5: if the symposiast is a Niger it is unreverberant.;
$hypothesis$ = the martin does commercialize inspectorate and it is a kind of a racerunner. ; $context$ = sent1: the dunce bathes mainframe. sent2: the villus does not commercialize inspectorate if the fact that the Tyrolean does not commercialize inspectorate and/or does bathe mainframe does not hold. sent3: there is something such that it is a racerunner. sent4: the joss does bathe mainframe. sent5: the villus is a pie and it is a kind of a racerunner. sent6: the martin is a kind of a noisiness and it is a oxidase. sent7: if something is unreverberant the martin does bathe mainframe and it does commercialize inspectorate. sent8: that the martin is a racerunner is right if there exists something such that that it does not deplume and it is not a Niger is not right. sent9: the fact that the villus does not deplume and it is not a Niger is not true. sent10: something is unreverberant if it is a Niger. sent11: the fact that the Tyrolean does not commercialize inspectorate and/or it does bathe mainframe is not correct if the symposiast is unreverberant. sent12: if that the stirrup is not a kind of a Niger and it does not deplume is not true the symposiast is a Niger. sent13: there is something such that it is unreverberant. sent14: the martin bathes mainframe if there exists something such that it is a racerunner. sent15: the martin is a racerunner if there exists something such that it is a Niger. ; $proof$ = 
sent13 & sent7 -> int1: the martin does bathe mainframe and it commercializes inspectorate.; int1 -> int2: the martin does commercialize inspectorate.; sent9 -> int3: there exists something such that the fact that it does not deplume and it is not a kind of a Niger does not hold.; int3 & sent8 -> int4: the martin is a racerunner.; int2 & int4 -> hypothesis; __PROVED__