the Roundhead does mythologize gillie.
sent1: the plowman is Procrustean. sent2: that the fact that the gentleman chocks Zen and it is Procrustean is incorrect is not wrong if that the plowman does not chock Zeppelin does not hold. sent3: if that the gentleman does not chock Zen but it is Procrustean is not right that the Roundhead does mythologize gillie is right. sent4: the fact that the gentleman does mythologize gillie and it does chock Zen is not true. sent5: the Roundhead is Procrustean. sent6: if the plowman does not chock Zeppelin then that the fact that the Roundhead does not flesh movement but it does mythologize gillie does not hold hold. sent7: the Roundhead chocks Zen. sent8: that the gillie does not flesh movement is true. sent9: that the Roundhead does not chock Zeppelin but it mythologizes gillie is not correct. sent10: if the plowman does not flesh movement then it does chock Zeppelin. sent11: if the plowman does chock Zeppelin that that the gentleman does not chock Zen and is Procrustean is correct is not true. sent12: The movement does not flesh plowman. sent13: the plowman does not flesh movement. sent14: the gentleman is a Stoppard. sent15: the gentleman fleshes movement. sent16: if the plowman fleshes movement then the fact that the Roundhead does not mythologize gillie and chocks Zeppelin is false. sent17: if that something does not flesh movement and mythologizes gillie does not hold it does not mythologizes gillie. sent18: the gentleman chocks Zeppelin if it does not chock Zen.
sent10 & sent13 -> int1: the plowman does chock Zeppelin.; sent11 & int1 -> int2: that that the gentleman does not chock Zen and is Procrustean is not false is wrong.; sent3 & int2 -> hypothesis;
the Roundhead does not mythologize gillie.
sent17 -> int3: the Roundhead does not mythologize gillie if the fact that it does not flesh movement and it mythologize gillie does not hold.;
$hypothesis$ = the Roundhead does mythologize gillie. ; $context$ = sent1: the plowman is Procrustean. sent2: that the fact that the gentleman chocks Zen and it is Procrustean is incorrect is not wrong if that the plowman does not chock Zeppelin does not hold. sent3: if that the gentleman does not chock Zen but it is Procrustean is not right that the Roundhead does mythologize gillie is right. sent4: the fact that the gentleman does mythologize gillie and it does chock Zen is not true. sent5: the Roundhead is Procrustean. sent6: if the plowman does not chock Zeppelin then that the fact that the Roundhead does not flesh movement but it does mythologize gillie does not hold hold. sent7: the Roundhead chocks Zen. sent8: that the gillie does not flesh movement is true. sent9: that the Roundhead does not chock Zeppelin but it mythologizes gillie is not correct. sent10: if the plowman does not flesh movement then it does chock Zeppelin. sent11: if the plowman does chock Zeppelin that that the gentleman does not chock Zen and is Procrustean is correct is not true. sent12: The movement does not flesh plowman. sent13: the plowman does not flesh movement. sent14: the gentleman is a Stoppard. sent15: the gentleman fleshes movement. sent16: if the plowman fleshes movement then the fact that the Roundhead does not mythologize gillie and chocks Zeppelin is false. sent17: if that something does not flesh movement and mythologizes gillie does not hold it does not mythologizes gillie. sent18: the gentleman chocks Zeppelin if it does not chock Zen. ; $proof$ = 
sent10 & sent13 -> int1: the plowman does chock Zeppelin.; sent11 & int1 -> int2: that that the gentleman does not chock Zen and is Procrustean is not false is wrong.; sent3 & int2 -> hypothesis; __PROVED__