the leatherleaf is not a Herman.
sent1: the toyshop is not a kind of a skinner and is unpronounceable. sent2: the cinder does not sicken Tartuffe if there is something such that that it does gather clericalism and sicken Tartuffe is not correct. sent3: if something is not a Herman then it is a hemophiliac that is a snifter. sent4: the Tartuffe is not a gradual if a hemophiliac is a kind of a Herman. sent5: there is something such that that it does gather clericalism and sickens Tartuffe is not true. sent6: there exists something such that it is a hemophiliac. sent7: that if the fact that the leatherleaf is a gradual but it is not a Herman is not correct the tragus is not a Herman is correct. sent8: that the leatherleaf is gradual thing that is not a Herman is not right if the Tartuffe is a ling. sent9: the Thiosulfil sickens prolapse if the toyshop is not a skinner but it is unpronounceable. sent10: the Tartuffe is a kind of a snifter. sent11: the leatherleaf is a hemophiliac and it is a snifter. sent12: something that sickens prolapse is not a littoral. sent13: something is a gradual if that it is concessive and it is not a kind of a gradual does not hold. sent14: the Thiosulfil is a ling. sent15: the Thiosulfil is not concessive if there is something such that it does not sicken Tartuffe. sent16: there exists something such that it is a ling and it is gradual.
sent11 -> int1: the leatherleaf is a kind of a hemophiliac.; void -> assump1: Let's assume that the leatherleaf is a kind of a Herman.; int1 & assump1 -> int2: the leatherleaf is a hemophiliac that is a Herman.; int2 -> int3: there is something such that it is a kind of a hemophiliac and is a Herman.; int3 & sent4 -> int4: the Tartuffe is not gradual.;
the leatherleaf is a kind of a Herman.
sent13 -> int5: the Thiosulfil is a kind of a gradual if that it is concessive and it is not gradual is not right.;
$hypothesis$ = the leatherleaf is not a Herman. ; $context$ = sent1: the toyshop is not a kind of a skinner and is unpronounceable. sent2: the cinder does not sicken Tartuffe if there is something such that that it does gather clericalism and sicken Tartuffe is not correct. sent3: if something is not a Herman then it is a hemophiliac that is a snifter. sent4: the Tartuffe is not a gradual if a hemophiliac is a kind of a Herman. sent5: there is something such that that it does gather clericalism and sickens Tartuffe is not true. sent6: there exists something such that it is a hemophiliac. sent7: that if the fact that the leatherleaf is a gradual but it is not a Herman is not correct the tragus is not a Herman is correct. sent8: that the leatherleaf is gradual thing that is not a Herman is not right if the Tartuffe is a ling. sent9: the Thiosulfil sickens prolapse if the toyshop is not a skinner but it is unpronounceable. sent10: the Tartuffe is a kind of a snifter. sent11: the leatherleaf is a hemophiliac and it is a snifter. sent12: something that sickens prolapse is not a littoral. sent13: something is a gradual if that it is concessive and it is not a kind of a gradual does not hold. sent14: the Thiosulfil is a ling. sent15: the Thiosulfil is not concessive if there is something such that it does not sicken Tartuffe. sent16: there exists something such that it is a ling and it is gradual. ; $proof$ = 
sent11 -> int1: the leatherleaf is a kind of a hemophiliac.; void -> assump1: Let's assume that the leatherleaf is a kind of a Herman.; int1 & assump1 -> int2: the leatherleaf is a hemophiliac that is a Herman.; int2 -> int3: there is something such that it is a kind of a hemophiliac and is a Herman.; int3 & sent4 -> int4: the Tartuffe is not gradual.; __UNKNOWN__