that the proctologist does habit training and is not a pedigree is not correct if the epidiascope trickles.
sent1: the fact that the proctologist habits training and is a pedigree is not right. sent2: something is not cosmic if it is a kind of an experience and trickles. sent3: the proctologist habits training and is not a kind of a pedigree. sent4: if there exists something such that it is a kind of a thunderer then the hydantoin unspells NAC. sent5: the epidiascope is a kind of an experience if the hydantoin does unspell NAC. sent6: the fact that the proctologist habits training but it is not a pedigree does not hold if the epidiascope is not cosmic. sent7: something is a kind of a thunderer. sent8: if something that trickles unspells NAC that it is not cosmic is correct. sent9: the hydantoin is cosmic. sent10: the proctologist does habit training and is not a pedigree if the epidiascope trickles.
sent7 & sent4 -> int1: the hydantoin does unspell NAC.; int1 & sent5 -> int2: that the epidiascope does experience is correct.; void -> assump1: Let's assume that the epidiascope trickles.; int2 & assump1 -> int3: the epidiascope is an experience that does trickle.; sent2 -> int4: the epidiascope is non-cosmic if it does experience and does trickle.; int3 & int4 -> int5: the epidiascope is not cosmic.; int5 & sent6 -> int6: the fact that the proctologist does habit training and is not a pedigree is incorrect.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the proctologist does habit training and is not a pedigree is not correct if the epidiascope trickles. ; $context$ = sent1: the fact that the proctologist habits training and is a pedigree is not right. sent2: something is not cosmic if it is a kind of an experience and trickles. sent3: the proctologist habits training and is not a kind of a pedigree. sent4: if there exists something such that it is a kind of a thunderer then the hydantoin unspells NAC. sent5: the epidiascope is a kind of an experience if the hydantoin does unspell NAC. sent6: the fact that the proctologist habits training but it is not a pedigree does not hold if the epidiascope is not cosmic. sent7: something is a kind of a thunderer. sent8: if something that trickles unspells NAC that it is not cosmic is correct. sent9: the hydantoin is cosmic. sent10: the proctologist does habit training and is not a pedigree if the epidiascope trickles. ; $proof$ = 
sent7 & sent4 -> int1: the hydantoin does unspell NAC.; int1 & sent5 -> int2: that the epidiascope does experience is correct.; void -> assump1: Let's assume that the epidiascope trickles.; int2 & assump1 -> int3: the epidiascope is an experience that does trickle.; sent2 -> int4: the epidiascope is non-cosmic if it does experience and does trickle.; int3 & int4 -> int5: the epidiascope is not cosmic.; int5 & sent6 -> int6: the fact that the proctologist does habit training and is not a pedigree is incorrect.; [assump1] & int6 -> hypothesis; __PROVED__