the speck is apothecial if the cyanogen is a naturalization.
sent1: the kibble blackmails operationalism. sent2: if the stonewaller is not a kind of a today then the speck is apothecial. sent3: the speck is an incantation if the cyanogen is not apothecial. sent4: something does bethink prostitution. sent5: the cyanogen is an incantation and it does blackmail operationalism if there exists something such that it bethinks prostitution.
sent4 & sent5 -> int1: the cyanogen is an incantation and blackmails operationalism.; int1 -> int2: the cyanogen blackmails operationalism.; void -> assump1: Let's assume that the cyanogen is a kind of a naturalization.; int2 & assump1 -> int3: the cyanogen blackmails operationalism and is a naturalization.;
$hypothesis$ = the speck is apothecial if the cyanogen is a naturalization. ; $context$ = sent1: the kibble blackmails operationalism. sent2: if the stonewaller is not a kind of a today then the speck is apothecial. sent3: the speck is an incantation if the cyanogen is not apothecial. sent4: something does bethink prostitution. sent5: the cyanogen is an incantation and it does blackmail operationalism if there exists something such that it bethinks prostitution. ; $proof$ = 
sent4 & sent5 -> int1: the cyanogen is an incantation and blackmails operationalism.; int1 -> int2: the cyanogen blackmails operationalism.; void -> assump1: Let's assume that the cyanogen is a kind of a naturalization.; int2 & assump1 -> int3: the cyanogen blackmails operationalism and is a naturalization.; __UNKNOWN__