the salt is bistroic.
sent1: the kook offers pibroch. sent2: the salt is cyprian. sent3: if there is something such that it is a kind of a drifting that the kook is immediate and is not a folks is not correct. sent4: an immediate thing is not bistroic. sent5: if the mattock is a drifting then the fact that the kook is both not a folks and not immediate is wrong. sent6: if the salt is a actinomyxidian that it is bistroic is right. sent7: the joystick is bistroic. sent8: if the convert is cuticular the mattock does drift. sent9: the kook is a folks if it is a drifting. sent10: the stodge is non-bistroic. sent11: if the mattock is not a Alcaic then it is not a actinomyxidian but elemental. sent12: the mattock is not immediate. sent13: if something is immediate then it is a folks. sent14: if the kook is not immediate the mattock is a folks. sent15: the mattock is not a folks. sent16: the salt is a actinomyxidian if the kook is cuticular. sent17: the mattock is a actinomyxidian. sent18: the otologist is a folks. sent19: something is a actinomyxidian and it is cuticular if it is not elemental. sent20: the kook is immediate if it is a actinomyxidian. sent21: that the mattock is cuticular thing that is a kind of a drifting is not incorrect if it is not a actinomyxidian. sent22: something is cuticular if it is a drifting. sent23: the convert is a kind of a Alcaic but it is not elemental. sent24: the salt is a kind of a actinomyxidian if it is cuticular.
void -> assump1: Let's assume that the kook is not immediate.; sent14 & assump1 -> int1: the mattock is a folks.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the kook is immediate.; sent22 -> int4: if the fact that the kook is a drifting hold then it is cuticular.;
the salt is not bistroic.
$hypothesis$ = the salt is bistroic. ; $context$ = sent1: the kook offers pibroch. sent2: the salt is cyprian. sent3: if there is something such that it is a kind of a drifting that the kook is immediate and is not a folks is not correct. sent4: an immediate thing is not bistroic. sent5: if the mattock is a drifting then the fact that the kook is both not a folks and not immediate is wrong. sent6: if the salt is a actinomyxidian that it is bistroic is right. sent7: the joystick is bistroic. sent8: if the convert is cuticular the mattock does drift. sent9: the kook is a folks if it is a drifting. sent10: the stodge is non-bistroic. sent11: if the mattock is not a Alcaic then it is not a actinomyxidian but elemental. sent12: the mattock is not immediate. sent13: if something is immediate then it is a folks. sent14: if the kook is not immediate the mattock is a folks. sent15: the mattock is not a folks. sent16: the salt is a actinomyxidian if the kook is cuticular. sent17: the mattock is a actinomyxidian. sent18: the otologist is a folks. sent19: something is a actinomyxidian and it is cuticular if it is not elemental. sent20: the kook is immediate if it is a actinomyxidian. sent21: that the mattock is cuticular thing that is a kind of a drifting is not incorrect if it is not a actinomyxidian. sent22: something is cuticular if it is a drifting. sent23: the convert is a kind of a Alcaic but it is not elemental. sent24: the salt is a kind of a actinomyxidian if it is cuticular. ; $proof$ = 
void -> assump1: Let's assume that the kook is not immediate.; sent14 & assump1 -> int1: the mattock is a folks.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the kook is immediate.; sent22 -> int4: if the fact that the kook is a drifting hold then it is cuticular.; __UNKNOWN__