the cherrystone is urethral.
sent1: if the nonsense is non-feudal a weasel then the cherrystone is not an announcer. sent2: if the fact that the nonsense is not undatable but it is a Kiwi is not true then that it is a monoclonal is right. sent3: if the nonsense is a kind of a monoclonal it is intermediate. sent4: if the nonsense is not undatable and is a Kiwi then the cherrystone is not urethral. sent5: an intermediate is urethral. sent6: something that is not an announcer is monoclonal and is intermediate. sent7: the nonsense is not an intermediate.
void -> assump1: Let's assume that the fact that the nonsense is a kind of non-undatable a Kiwi does not hold.; sent2 & assump1 -> int1: the nonsense is a kind of a monoclonal.; int1 & sent3 -> int2: the nonsense is intermediate.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonsense is both not undatable and a Kiwi.; int4 & sent4 -> hypothesis;
the cherrystone is urethral.
sent5 -> int5: the cherrystone is urethral if it is a kind of an intermediate.; sent6 -> int6: the cherrystone is a monoclonal and it is a kind of an intermediate if it is not an announcer.;
$hypothesis$ = the cherrystone is urethral. ; $context$ = sent1: if the nonsense is non-feudal a weasel then the cherrystone is not an announcer. sent2: if the fact that the nonsense is not undatable but it is a Kiwi is not true then that it is a monoclonal is right. sent3: if the nonsense is a kind of a monoclonal it is intermediate. sent4: if the nonsense is not undatable and is a Kiwi then the cherrystone is not urethral. sent5: an intermediate is urethral. sent6: something that is not an announcer is monoclonal and is intermediate. sent7: the nonsense is not an intermediate. ; $proof$ = 
void -> assump1: Let's assume that the fact that the nonsense is a kind of non-undatable a Kiwi does not hold.; sent2 & assump1 -> int1: the nonsense is a kind of a monoclonal.; int1 & sent3 -> int2: the nonsense is intermediate.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonsense is both not undatable and a Kiwi.; int4 & sent4 -> hypothesis; __DISPROVED__