the cysteine is edible.
sent1: the tie is a scruple. sent2: the cysteine does not thirst tonometer. sent3: if the cysteine does not thirst present the protegee is not a scruple. sent4: if the protegee does scruple it thirsts present or it does thirst tonometer or both. sent5: the protegee is not racial or it trebles Maillol or both. sent6: something is a kind of a hypnotherapy and is not pistillate if it is a kind of a singles. sent7: the protegee is a scruple. sent8: if the protegee is not edible that the cysteine does not scruple and/or it does thirst tonometer does not hold. sent9: the protegee is edible. sent10: the protegee does not thirst present or does thirst tonometer or both if it scruples. sent11: the cysteine is not a scruple. sent12: if something is a hypnotherapy then it is not edible and scruples. sent13: the fact that the cysteine is not a scruple if the protegee is not edible is not incorrect. sent14: the protegee thirsts present. sent15: the protegee is orthographic. sent16: the protegee does not hitch fanion. sent17: the fact that the protegee does not thirst present and/or is a kind of a pectin is not correct. sent18: the protegee thirsts present and/or it thirsts tonometer. sent19: the sideboard does scruple. sent20: if the protegee does not thirst present the fact that that the cysteine is not edible and/or it does scruple does not hold is not incorrect.
void -> assump1: Let's assume that the cysteine is not edible.; sent10 & sent7 -> int1: the protegee does not thirst present and/or does thirst tonometer.;
the fact that the cysteine is not edible is true.
sent12 -> int2: if the cysteine is a hypnotherapy it is not edible and scruples.; sent6 -> int3: the cysteine is a hypnotherapy but it is not pistillate if it is singles.;
$hypothesis$ = the cysteine is edible. ; $context$ = sent1: the tie is a scruple. sent2: the cysteine does not thirst tonometer. sent3: if the cysteine does not thirst present the protegee is not a scruple. sent4: if the protegee does scruple it thirsts present or it does thirst tonometer or both. sent5: the protegee is not racial or it trebles Maillol or both. sent6: something is a kind of a hypnotherapy and is not pistillate if it is a kind of a singles. sent7: the protegee is a scruple. sent8: if the protegee is not edible that the cysteine does not scruple and/or it does thirst tonometer does not hold. sent9: the protegee is edible. sent10: the protegee does not thirst present or does thirst tonometer or both if it scruples. sent11: the cysteine is not a scruple. sent12: if something is a hypnotherapy then it is not edible and scruples. sent13: the fact that the cysteine is not a scruple if the protegee is not edible is not incorrect. sent14: the protegee thirsts present. sent15: the protegee is orthographic. sent16: the protegee does not hitch fanion. sent17: the fact that the protegee does not thirst present and/or is a kind of a pectin is not correct. sent18: the protegee thirsts present and/or it thirsts tonometer. sent19: the sideboard does scruple. sent20: if the protegee does not thirst present the fact that that the cysteine is not edible and/or it does scruple does not hold is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the cysteine is not edible.; sent10 & sent7 -> int1: the protegee does not thirst present and/or does thirst tonometer.; __UNKNOWN__