the khan is not stenographic.
sent1: if something is not auditory it is not an anarchist. sent2: everything is not a Vedist. sent3: if something is a canafistola then it is a kind of an anarchist. sent4: the khan specializes. sent5: if something is not a Vedist that that it does not spark and it is not auditory hold does not hold. sent6: the fact that the Ostrogoth is auditory and a spark is wrong. sent7: the Ostrogoth is a canafistola if the khan does not specialize. sent8: that the khan is a kind of stenographic thing that is a canafistola does not hold. sent9: the khan is not stenographic if the fact that it does not specialize and/or is not Anglophobic is not right. sent10: the khan does specialize and/or it is not Anglophobic. sent11: the Ostrogoth is not fiber-optic. sent12: something is not an anarchist if that it is auditory and does spark is not correct.
void -> assump1: Let's assume that the khan does not specialize and/or it is not Anglophobic.; sent3 -> int1: the Ostrogoth is an anarchist if it is a canafistola.; sent12 -> int2: if that the Ostrogoth is auditory and it is a spark is not right it is not a kind of an anarchist.; int2 & sent6 -> int3: the Ostrogoth is not an anarchist.;
the khan is stenographic.
sent5 -> int4: the fact that the persuader is not a spark and not auditory is wrong if it is not a Vedist.; sent2 -> int5: the persuader is not a kind of a Vedist.; int4 & int5 -> int6: that the persuader is not a kind of a spark and it is not auditory is false.; int6 -> int7: there exists nothing that is not a spark and is not auditory.; int7 -> int8: the fact that the softness is not a spark and it is not auditory is not right.;
$hypothesis$ = the khan is not stenographic. ; $context$ = sent1: if something is not auditory it is not an anarchist. sent2: everything is not a Vedist. sent3: if something is a canafistola then it is a kind of an anarchist. sent4: the khan specializes. sent5: if something is not a Vedist that that it does not spark and it is not auditory hold does not hold. sent6: the fact that the Ostrogoth is auditory and a spark is wrong. sent7: the Ostrogoth is a canafistola if the khan does not specialize. sent8: that the khan is a kind of stenographic thing that is a canafistola does not hold. sent9: the khan is not stenographic if the fact that it does not specialize and/or is not Anglophobic is not right. sent10: the khan does specialize and/or it is not Anglophobic. sent11: the Ostrogoth is not fiber-optic. sent12: something is not an anarchist if that it is auditory and does spark is not correct. ; $proof$ = 
void -> assump1: Let's assume that the khan does not specialize and/or it is not Anglophobic.; sent3 -> int1: the Ostrogoth is an anarchist if it is a canafistola.; sent12 -> int2: if that the Ostrogoth is auditory and it is a spark is not right it is not a kind of an anarchist.; int2 & sent6 -> int3: the Ostrogoth is not an anarchist.; __UNKNOWN__