the harbor is not a kind of a hammer.
sent1: the harbor is not a barrels. sent2: if something is both not a reticulum and a barrels the fact that it is not a signing is right. sent3: if there exists something such that it is a bettor then the harbor does not barrel. sent4: if the fact that something is not a reticulum and it is not a kind of a barrels is not incorrect then it is not a signing. sent5: the eyelet is not a bettor if the jelly is not a barrels and is not a signing. sent6: there exists something such that it is a bettor. sent7: the harbor is not a signing if it is not a kind of a reticulum and it is a kind of a barrels. sent8: that that the harbor is not a signing but a hammer is incorrect is right if the fact that it does underquote is not incorrect. sent9: that the harbor hammers hold if the eyelet does not hammers. sent10: the harbor underquotes. sent11: something is a reticulum and/or it is not a hammer if it is not a bettor.
sent4 -> int1: if the harbor is not a reticulum and it does not barrel then it does not sign.; void -> assump1: Let's assume that the harbor is a hammer.; sent8 & sent10 -> int2: that the harbor is not a signing but it hammers does not hold.;
the harbor hammers.
sent11 -> int3: if the eyelet is not a bettor it is a reticulum and/or it is not a kind of a hammer.;
$hypothesis$ = the harbor is not a kind of a hammer. ; $context$ = sent1: the harbor is not a barrels. sent2: if something is both not a reticulum and a barrels the fact that it is not a signing is right. sent3: if there exists something such that it is a bettor then the harbor does not barrel. sent4: if the fact that something is not a reticulum and it is not a kind of a barrels is not incorrect then it is not a signing. sent5: the eyelet is not a bettor if the jelly is not a barrels and is not a signing. sent6: there exists something such that it is a bettor. sent7: the harbor is not a signing if it is not a kind of a reticulum and it is a kind of a barrels. sent8: that that the harbor is not a signing but a hammer is incorrect is right if the fact that it does underquote is not incorrect. sent9: that the harbor hammers hold if the eyelet does not hammers. sent10: the harbor underquotes. sent11: something is a reticulum and/or it is not a hammer if it is not a bettor. ; $proof$ = 
sent4 -> int1: if the harbor is not a reticulum and it does not barrel then it does not sign.; void -> assump1: Let's assume that the harbor is a hammer.; sent8 & sent10 -> int2: that the harbor is not a signing but it hammers does not hold.; __UNKNOWN__