either something does not eulogize follower or it is not a perfumery or both.
sent1: if the taw is a perfumery then the fact that it is an acceptability and is not unobjectionable does not hold. sent2: if there exists something such that it is a HDTV that the Londoner is not a HDTV and is not unobjectionable does not hold. sent3: if the king does not forbear then the taw does not eulogize follower and/or is not a kind of a perfumery. sent4: something renders lambskin if it is contractual. sent5: the fact that the king is contractual and is not an acceptability is not right. sent6: that the king is a kind of non-contractual thing that is not a kind of an acceptability is not right if it does forbear. sent7: if the king renders lambskin then the pant coopers. sent8: the pant is not unobjectionable if the fact that the Londoner is not a HDTV and it is not unobjectionable is false. sent9: if the fact that something is not contractual and it is not a kind of an acceptability is not correct it does render lambskin. sent10: something is unobjectionable if it coopers.
void -> assump1: Let's assume that the king forbears.; sent6 & assump1 -> int1: the fact that the king is non-contractual thing that is not an acceptability is not correct.; sent9 -> int2: if the fact that the fact that the king is not contractual and is not an acceptability is not wrong is not correct it renders lambskin.; int1 & int2 -> int3: the king does render lambskin.; int3 & sent7 -> int4: the pant coopers.; sent10 -> int5: if the pant is a cooper then it is unobjectionable.; int4 & int5 -> int6: the pant is unobjectionable.;
$hypothesis$ = either something does not eulogize follower or it is not a perfumery or both. ; $context$ = sent1: if the taw is a perfumery then the fact that it is an acceptability and is not unobjectionable does not hold. sent2: if there exists something such that it is a HDTV that the Londoner is not a HDTV and is not unobjectionable does not hold. sent3: if the king does not forbear then the taw does not eulogize follower and/or is not a kind of a perfumery. sent4: something renders lambskin if it is contractual. sent5: the fact that the king is contractual and is not an acceptability is not right. sent6: that the king is a kind of non-contractual thing that is not a kind of an acceptability is not right if it does forbear. sent7: if the king renders lambskin then the pant coopers. sent8: the pant is not unobjectionable if the fact that the Londoner is not a HDTV and it is not unobjectionable is false. sent9: if the fact that something is not contractual and it is not a kind of an acceptability is not correct it does render lambskin. sent10: something is unobjectionable if it coopers. ; $proof$ = 
void -> assump1: Let's assume that the king forbears.; sent6 & assump1 -> int1: the fact that the king is non-contractual thing that is not an acceptability is not correct.; sent9 -> int2: if the fact that the fact that the king is not contractual and is not an acceptability is not wrong is not correct it renders lambskin.; int1 & int2 -> int3: the king does render lambskin.; int3 & sent7 -> int4: the pant coopers.; sent10 -> int5: if the pant is a cooper then it is unobjectionable.; int4 & int5 -> int6: the pant is unobjectionable.; __UNKNOWN__