the knitter does sermonize Cyrillic.
sent1: the bunk does not sermonize Cyrillic if the knitter sermonize Cyrillic and does administer. sent2: the bunk is effervescent. sent3: the knitter sermonizes Cyrillic if the bunk does cloister ghostwriter. sent4: if something that does not sermonize attribution honors it does not administer. sent5: something administers if it does not cloister ghostwriter. sent6: the knitter does not cloister ghostwriter if the elver does not cloister ghostwriter or does not sermonize attribution or both.
sent5 -> int1: the bunk administers if it does not cloister ghostwriter.; void -> assump1: Let's assume that the bunk does not cloister ghostwriter.; int1 & assump1 -> int2: the bunk does administer.; sent4 -> int3: if the bunk does not sermonize attribution but it does honor then it does not administer.;
the bunk does not sermonize Cyrillic.
$hypothesis$ = the knitter does sermonize Cyrillic. ; $context$ = sent1: the bunk does not sermonize Cyrillic if the knitter sermonize Cyrillic and does administer. sent2: the bunk is effervescent. sent3: the knitter sermonizes Cyrillic if the bunk does cloister ghostwriter. sent4: if something that does not sermonize attribution honors it does not administer. sent5: something administers if it does not cloister ghostwriter. sent6: the knitter does not cloister ghostwriter if the elver does not cloister ghostwriter or does not sermonize attribution or both. ; $proof$ = 
sent5 -> int1: the bunk administers if it does not cloister ghostwriter.; void -> assump1: Let's assume that the bunk does not cloister ghostwriter.; int1 & assump1 -> int2: the bunk does administer.; sent4 -> int3: if the bunk does not sermonize attribution but it does honor then it does not administer.; __UNKNOWN__