the pion is not a briefcase but it is a kind of an adenosine.
sent1: if something is not a kind of a community that it does not stint emanation and is not a molindone does not hold. sent2: the fact that the nightrider does wrestle Neolentinus and is not a radical is not correct if it is not a doorjamb. sent3: the Altaic is a kind of a radical. sent4: if the fact that the pion does wrestle Neolentinus is not incorrect the nightrider is a radical. sent5: that something is not a karyolymph and not a doorjamb does not hold if it does not wrestle Neolentinus. sent6: the Stone is not a karyolymph. sent7: the nightrider is not a kind of a radical. sent8: the pion is an adenosine. sent9: if something is not a lamedh it is not a briefcase. sent10: that if that something is not a kind of a karyolymph and is not a kind of a doorjamb is not right then it is not a lamedh hold. sent11: that the transferrin uncloaks and is not a room is not correct. sent12: the nightrider is not a lamedh. sent13: that the pion does not singe is not wrong. sent14: if the nightrider is a karyolymph then it is not a filth.
void -> assump1: Let's assume that the pion wrestles Neolentinus.; sent4 & assump1 -> int1: the nightrider is a radical.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the pion does not wrestle Neolentinus is true.; sent5 -> int4: if the pion does not wrestle Neolentinus that it is not a kind of a karyolymph and is not a kind of a doorjamb is incorrect.; int3 & int4 -> int5: that the pion is not a karyolymph and it is not a doorjamb is not right.; sent10 -> int6: the pion is not a lamedh if the fact that it is not a karyolymph and it is not a kind of a doorjamb is not correct.; int5 & int6 -> int7: the pion is not a lamedh.; sent9 -> int8: if the pion is not a kind of a lamedh it is not a briefcase.; int7 & int8 -> int9: the pion is not a kind of a briefcase.; int9 & sent8 -> hypothesis;
that the pion is not a briefcase and is an adenosine is false.
$hypothesis$ = the pion is not a briefcase but it is a kind of an adenosine. ; $context$ = sent1: if something is not a kind of a community that it does not stint emanation and is not a molindone does not hold. sent2: the fact that the nightrider does wrestle Neolentinus and is not a radical is not correct if it is not a doorjamb. sent3: the Altaic is a kind of a radical. sent4: if the fact that the pion does wrestle Neolentinus is not incorrect the nightrider is a radical. sent5: that something is not a karyolymph and not a doorjamb does not hold if it does not wrestle Neolentinus. sent6: the Stone is not a karyolymph. sent7: the nightrider is not a kind of a radical. sent8: the pion is an adenosine. sent9: if something is not a lamedh it is not a briefcase. sent10: that if that something is not a kind of a karyolymph and is not a kind of a doorjamb is not right then it is not a lamedh hold. sent11: that the transferrin uncloaks and is not a room is not correct. sent12: the nightrider is not a lamedh. sent13: that the pion does not singe is not wrong. sent14: if the nightrider is a karyolymph then it is not a filth. ; $proof$ = 
void -> assump1: Let's assume that the pion wrestles Neolentinus.; sent4 & assump1 -> int1: the nightrider is a radical.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the pion does not wrestle Neolentinus is true.; sent5 -> int4: if the pion does not wrestle Neolentinus that it is not a kind of a karyolymph and is not a kind of a doorjamb is incorrect.; int3 & int4 -> int5: that the pion is not a karyolymph and it is not a doorjamb is not right.; sent10 -> int6: the pion is not a lamedh if the fact that it is not a karyolymph and it is not a kind of a doorjamb is not correct.; int5 & int6 -> int7: the pion is not a lamedh.; sent9 -> int8: if the pion is not a kind of a lamedh it is not a briefcase.; int7 & int8 -> int9: the pion is not a kind of a briefcase.; int9 & sent8 -> hypothesis; __PROVED__