the moonflower is not a wretch.
sent1: the moonflower is a Chelidonium if that it is a kind of a gametophyte hold. sent2: the catabolism descries Nanning and it does descry say-so. sent3: the fact that if the moonflower is a kind of the Chelidonium and it is not non-compact the moonflower is not a wretch is not false. sent4: if something descries say-so then it does not reckon Basil and it is not a kind of a wretch. sent5: there exists something such that it is a compact that is not a wretch. sent6: there exists something such that it is a pronation and is not monotypic. sent7: if there is something such that the fact that it is a kind of a compact and it is a Chelidonium does not hold then the fact that the manhole is a kind of a gametophyte is not incorrect. sent8: if something is a kind of a pronation but it is not monotypic then the moonflower is a gametophyte. sent9: the moonflower compacts.
sent6 & sent8 -> int1: the moonflower is a gametophyte.; int1 & sent1 -> int2: the moonflower is a Chelidonium.; int2 & sent9 -> int3: the moonflower is a kind of a Chelidonium that does compact.; int3 & sent3 -> hypothesis;
the manhole is a kind of a gametophyte.
sent4 -> int4: if the catabolism does descry say-so it does not reckon Basil and it is not a wretch.; sent2 -> int5: the catabolism does descry say-so.; int4 & int5 -> int6: the catabolism does not reckon Basil and is not a wretch.; int6 -> int7: the catabolism is not a wretch.; int7 -> int8: there exists something such that that it is not a wretch is correct.;
$hypothesis$ = the moonflower is not a wretch. ; $context$ = sent1: the moonflower is a Chelidonium if that it is a kind of a gametophyte hold. sent2: the catabolism descries Nanning and it does descry say-so. sent3: the fact that if the moonflower is a kind of the Chelidonium and it is not non-compact the moonflower is not a wretch is not false. sent4: if something descries say-so then it does not reckon Basil and it is not a kind of a wretch. sent5: there exists something such that it is a compact that is not a wretch. sent6: there exists something such that it is a pronation and is not monotypic. sent7: if there is something such that the fact that it is a kind of a compact and it is a Chelidonium does not hold then the fact that the manhole is a kind of a gametophyte is not incorrect. sent8: if something is a kind of a pronation but it is not monotypic then the moonflower is a gametophyte. sent9: the moonflower compacts. ; $proof$ = 
sent6 & sent8 -> int1: the moonflower is a gametophyte.; int1 & sent1 -> int2: the moonflower is a Chelidonium.; int2 & sent9 -> int3: the moonflower is a kind of a Chelidonium that does compact.; int3 & sent3 -> hypothesis; __PROVED__