the cannery is euphoric and is not a kind of a hypodermic.
sent1: the fact that the cannery is not a wisent but osteal does not hold. sent2: the cannery is not non-euphoric but it does not wrap cannery if it is not a kind of a hypodermic. sent3: the fact that the creator does not wrap cannery and is a allyl is correct if it is osteal. sent4: the creator is osteal. sent5: if the cannery is a wisent then the fact that the creator does not wrap cannery but it is a allyl is false. sent6: the cannery does not wrap cannery. sent7: that the creator is a kind of a allyl and it is hypodermic is not right.
void -> assump1: Let's assume that the cannery is a wisent.; sent5 & assump1 -> int1: the fact that the creator does not wrap cannery and is a allyl is not true.; sent3 & sent4 -> int2: the creator does not wrap cannery and is a allyl.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cannery is not a wisent.;
$hypothesis$ = the cannery is euphoric and is not a kind of a hypodermic. ; $context$ = sent1: the fact that the cannery is not a wisent but osteal does not hold. sent2: the cannery is not non-euphoric but it does not wrap cannery if it is not a kind of a hypodermic. sent3: the fact that the creator does not wrap cannery and is a allyl is correct if it is osteal. sent4: the creator is osteal. sent5: if the cannery is a wisent then the fact that the creator does not wrap cannery but it is a allyl is false. sent6: the cannery does not wrap cannery. sent7: that the creator is a kind of a allyl and it is hypodermic is not right. ; $proof$ = 
void -> assump1: Let's assume that the cannery is a wisent.; sent5 & assump1 -> int1: the fact that the creator does not wrap cannery and is a allyl is not true.; sent3 & sent4 -> int2: the creator does not wrap cannery and is a allyl.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cannery is not a wisent.; __UNKNOWN__