the frijole is not a kind of a Nanak.
sent1: something is not a patter and it is not a Nanak if it is nontaxable. sent2: if the fact that the lambda is basidiomycetous is correct then the fact that it does not denaturalize masseur or is not a kind of a automat or both is right. sent3: if something is not basidiomycetous then the fact that it does not denaturalize masseur and/or is biaxial is not right. sent4: the frijole is not a patter. sent5: the frijole is not a kind of a patter if it is nontaxable. sent6: there is something such that it is not biaxial. sent7: the frijole is not a GHB if that it is not positionable is correct. sent8: if the fact that the frijole is not prescriptive but it is not non-positionable does not hold then it is not a GHB. sent9: that the respirator is a Nanak and/or it is a GHB is not false if the lambda is not nontaxable. sent10: the fact that something is not nontaxable hold if it is a kind of a patter. sent11: there exists something such that it is biaxial. sent12: if there is something such that it does not denaturalize masseur and/or it is not a automat the respirator does not denaturalize masseur. sent13: if there is something such that the fact that it is not a GHB and/or is not a patter is not true then the splitworm is not nontaxable. sent14: if something does not denaturalize masseur then it is a kind of a Nanak and it is biaxial. sent15: if there are non-biaxial things then the frijole is a kind of a GHB. sent16: that the lambda is basidiomycetous is correct. sent17: an afraid thing is not inexpedient and not a pyxie.
void -> assump1: Let's assume that the frijole is not nontaxable.; sent6 & sent15 -> int1: the frijole is a GHB.; sent1 -> int2: the frijole does not patter and is not a Nanak if the fact that it is nontaxable is correct.;
the frijole is a Nanak.
sent10 -> int3: if the lambda is a patter then it is not nontaxable.; sent3 -> int4: if the weeder is not basidiomycetous the fact that it does not denaturalize masseur or is biaxial or both is wrong.;
$hypothesis$ = the frijole is not a kind of a Nanak. ; $context$ = sent1: something is not a patter and it is not a Nanak if it is nontaxable. sent2: if the fact that the lambda is basidiomycetous is correct then the fact that it does not denaturalize masseur or is not a kind of a automat or both is right. sent3: if something is not basidiomycetous then the fact that it does not denaturalize masseur and/or is biaxial is not right. sent4: the frijole is not a patter. sent5: the frijole is not a kind of a patter if it is nontaxable. sent6: there is something such that it is not biaxial. sent7: the frijole is not a GHB if that it is not positionable is correct. sent8: if the fact that the frijole is not prescriptive but it is not non-positionable does not hold then it is not a GHB. sent9: that the respirator is a Nanak and/or it is a GHB is not false if the lambda is not nontaxable. sent10: the fact that something is not nontaxable hold if it is a kind of a patter. sent11: there exists something such that it is biaxial. sent12: if there is something such that it does not denaturalize masseur and/or it is not a automat the respirator does not denaturalize masseur. sent13: if there is something such that the fact that it is not a GHB and/or is not a patter is not true then the splitworm is not nontaxable. sent14: if something does not denaturalize masseur then it is a kind of a Nanak and it is biaxial. sent15: if there are non-biaxial things then the frijole is a kind of a GHB. sent16: that the lambda is basidiomycetous is correct. sent17: an afraid thing is not inexpedient and not a pyxie. ; $proof$ = 
void -> assump1: Let's assume that the frijole is not nontaxable.; sent6 & sent15 -> int1: the frijole is a GHB.; sent1 -> int2: the frijole does not patter and is not a Nanak if the fact that it is nontaxable is correct.; __UNKNOWN__