the consignee is a allyl.
sent1: if something that does deny sulfa is not epithelial then it is not a allyl. sent2: if something is a chirp then it does deny sulfa and it is not epithelial. sent3: something is a allyl if it does deny sulfa. sent4: that the Norlestrin is not epithelial if the fact that the nifedipine is unemployable and/or is a emancipator is wrong is correct. sent5: something is not a chirp but iconic if it does not ban. sent6: if the Norlestrin is not a chirp and is iconic the consignee is a chirp. sent7: something is not a two-by-four but it registers if it does not garner bilabial. sent8: everything is not unemployable. sent9: if that something is not a two-by-four but it is a register is true that it is a kind of a legalization is wrong. sent10: the Norlestrin is not a ban if the fact that the kiddy is not a legalization hold. sent11: the nifedipine is not unemployable. sent12: there is nothing such that it is unemployable and/or a emancipator.
sent12 -> int1: the fact that either the nifedipine is unemployable or it is a emancipator or both does not hold.; int1 & sent4 -> int2: the Norlestrin is not epithelial.; sent3 -> int3: the consignee is a kind of a allyl if it does deny sulfa.;
the consignee is not a allyl.
sent1 -> int4: if the consignee denies sulfa and is non-epithelial then it is not a kind of a allyl.; sent2 -> int5: if the consignee is a chirp then it does deny sulfa and is not epithelial.; sent5 -> int6: the Norlestrin is not a chirp but it is iconic if the fact that it is not a ban is correct.; sent9 -> int7: if the kiddy is not a kind of a two-by-four but it registers it is not a legalization.; sent7 -> int8: the kiddy is both not a two-by-four and a register if it does not garner bilabial.;
$hypothesis$ = the consignee is a allyl. ; $context$ = sent1: if something that does deny sulfa is not epithelial then it is not a allyl. sent2: if something is a chirp then it does deny sulfa and it is not epithelial. sent3: something is a allyl if it does deny sulfa. sent4: that the Norlestrin is not epithelial if the fact that the nifedipine is unemployable and/or is a emancipator is wrong is correct. sent5: something is not a chirp but iconic if it does not ban. sent6: if the Norlestrin is not a chirp and is iconic the consignee is a chirp. sent7: something is not a two-by-four but it registers if it does not garner bilabial. sent8: everything is not unemployable. sent9: if that something is not a two-by-four but it is a register is true that it is a kind of a legalization is wrong. sent10: the Norlestrin is not a ban if the fact that the kiddy is not a legalization hold. sent11: the nifedipine is not unemployable. sent12: there is nothing such that it is unemployable and/or a emancipator. ; $proof$ = 
sent12 -> int1: the fact that either the nifedipine is unemployable or it is a emancipator or both does not hold.; int1 & sent4 -> int2: the Norlestrin is not epithelial.; sent3 -> int3: the consignee is a kind of a allyl if it does deny sulfa.; __UNKNOWN__