the appointee is a sphincter.
sent1: something is a kind of a craft if it is not unpleasant and not a smash. sent2: the edelweiss does not school appointee. sent3: if the appointee is unpleasant then it is a sphincter. sent4: something is a craft if the fact that it is not a craft and it is not unpleasant is not right. sent5: if the edelweiss does craft the fact that it is a kind of citrous thing that does not school appointee is wrong. sent6: if that the appointee smashes and is not unpleasant is not correct then it is a sphincter. sent7: the fact that the edelweiss is a kind of citrous thing that does not school appointee is right. sent8: the fact that something does foil but it does not resist edelweiss is not right if it crafts. sent9: if that the paper is a kind of a bohemianism is not incorrect the fact that the hatchet is not a craft and it is not unpleasant is not correct. sent10: something is a kind of a generalissimo. sent11: the forehead is not a smash. sent12: if there is something such that it is a kind of a generalissimo then the paper is a bohemianism and resists sloucher. sent13: that the edelweiss is citrous and it schools appointee does not hold. sent14: the fact that the appointee is a smash and it is not pleasant is wrong.
void -> assump1: Let's assume that the edelweiss crafts.; sent5 & assump1 -> int1: that the edelweiss is citrous and does not school appointee is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the edelweiss is not a craft.; int3 -> int4: something is not a craft.;
the appointee is not a sphincter.
sent4 -> int5: the hatchet is a craft if the fact that it is both not a craft and not unpleasant is false.; sent10 & sent12 -> int6: the paper is a kind of a bohemianism and resists sloucher.; int6 -> int7: the paper is a kind of a bohemianism.; sent9 & int7 -> int8: that the hatchet is not a craft and it is not unpleasant does not hold.; int5 & int8 -> int9: the hatchet is a kind of a craft.; int9 -> int10: something is a craft.;
$hypothesis$ = the appointee is a sphincter. ; $context$ = sent1: something is a kind of a craft if it is not unpleasant and not a smash. sent2: the edelweiss does not school appointee. sent3: if the appointee is unpleasant then it is a sphincter. sent4: something is a craft if the fact that it is not a craft and it is not unpleasant is not right. sent5: if the edelweiss does craft the fact that it is a kind of citrous thing that does not school appointee is wrong. sent6: if that the appointee smashes and is not unpleasant is not correct then it is a sphincter. sent7: the fact that the edelweiss is a kind of citrous thing that does not school appointee is right. sent8: the fact that something does foil but it does not resist edelweiss is not right if it crafts. sent9: if that the paper is a kind of a bohemianism is not incorrect the fact that the hatchet is not a craft and it is not unpleasant is not correct. sent10: something is a kind of a generalissimo. sent11: the forehead is not a smash. sent12: if there is something such that it is a kind of a generalissimo then the paper is a bohemianism and resists sloucher. sent13: that the edelweiss is citrous and it schools appointee does not hold. sent14: the fact that the appointee is a smash and it is not pleasant is wrong. ; $proof$ = 
void -> assump1: Let's assume that the edelweiss crafts.; sent5 & assump1 -> int1: that the edelweiss is citrous and does not school appointee is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the edelweiss is not a craft.; int3 -> int4: something is not a craft.; __UNKNOWN__