that the undercut is not a echocardiogram and it does not parallel does not hold.
sent1: the dejection is sectorial if the fact that the inosine is a kind of non-basidial thing that is not a kind of a homosexual is wrong. sent2: if a non-basidial thing is not a homosexual then it is not simian. sent3: something is not a conventioneer and does not gate tendentiousness if it primes emperor. sent4: if there is something such that that it is a laetrile and it does prime emperor is false the dronabinol does not prime emperor. sent5: if the dronabinol does not prime emperor and is sectorial then the fact that the pythium prime emperor hold. sent6: the bladder wrests overhang if the dejection is sectorial. sent7: if something does prime emperor it is not a echocardiogram and not parallel. sent8: the fact that the pythium is a laetrile and it does prime emperor is not true. sent9: if something does wrest overhang then it does parallel. sent10: that the undercut is not a kind of a echocardiogram and it does not parallel is not right if the bladder is a parallel. sent11: there is something such that the fact that it is not a echocardiogram and it does parallel is not true.
sent2 -> int1: if the inosine is not basidial and is not a homosexual it is not a simian.; void -> assump1: Let's assume that the inosine is both not basidial and not a homosexual.; int1 & assump1 -> int2: the inosine is not simian.; sent8 -> int3: there is something such that that it is a laetrile and it primes emperor is not right.; int3 & sent4 -> int4: the dronabinol does not prime emperor.; sent9 -> int5: if the bladder wrests overhang it does parallel.;
the undercut is both not a echocardiogram and not parallel.
sent7 -> int6: if the undercut primes emperor it is not a echocardiogram and it does not parallel.;
$hypothesis$ = that the undercut is not a echocardiogram and it does not parallel does not hold. ; $context$ = sent1: the dejection is sectorial if the fact that the inosine is a kind of non-basidial thing that is not a kind of a homosexual is wrong. sent2: if a non-basidial thing is not a homosexual then it is not simian. sent3: something is not a conventioneer and does not gate tendentiousness if it primes emperor. sent4: if there is something such that that it is a laetrile and it does prime emperor is false the dronabinol does not prime emperor. sent5: if the dronabinol does not prime emperor and is sectorial then the fact that the pythium prime emperor hold. sent6: the bladder wrests overhang if the dejection is sectorial. sent7: if something does prime emperor it is not a echocardiogram and not parallel. sent8: the fact that the pythium is a laetrile and it does prime emperor is not true. sent9: if something does wrest overhang then it does parallel. sent10: that the undercut is not a kind of a echocardiogram and it does not parallel is not right if the bladder is a parallel. sent11: there is something such that the fact that it is not a echocardiogram and it does parallel is not true. ; $proof$ = 
sent2 -> int1: if the inosine is not basidial and is not a homosexual it is not a simian.; void -> assump1: Let's assume that the inosine is both not basidial and not a homosexual.; int1 & assump1 -> int2: the inosine is not simian.; sent8 -> int3: there is something such that that it is a laetrile and it primes emperor is not right.; int3 & sent4 -> int4: the dronabinol does not prime emperor.; sent9 -> int5: if the bladder wrests overhang it does parallel.; __UNKNOWN__