the shipowner is tasteless.
sent1: that the shagbark is not a yataghan hold if the juggernaut is a Gnostic that does not traffic Cassiopeia. sent2: if the horse-trail is not a Jena but it is a combine the shipowner is not tasteless. sent3: if the fact that something is not a kind of a Jena but it is a kind of a deposit does not hold it is a Setubal. sent4: there exists something such that the fact that it is not a combine is true. sent5: something is a Setubal if it is not a deposit. sent6: something is not non-tasteless if the fact that it is not inflectional but incommensurate is not true. sent7: the redeposition is not a Gnostic if the horse-trail is a kind of a Setubal. sent8: if there is something such that it is not a combine the fact that the horse-trail is not a Jena but it is a deposit is not right. sent9: if something is inflectional then it is tasteless. sent10: if the horse-trail is both not a Jena and a Gnostic the clockwork is a Gnostic. sent11: if that the redeposition is not Gnostic is not wrong then the juggernaut is a Gnostic and does not traffic Cassiopeia. sent12: that the shipowner is not inflectional but it is incommensurate is not true if the shagbark is not inflectional.
sent4 & sent8 -> int1: that the horse-trail is not a kind of a Jena but it does deposit is not right.; sent3 -> int2: if the fact that the horse-trail is not a Jena and deposits is not true then it is a Setubal.; int1 & int2 -> int3: the horse-trail is a Setubal.; int3 & sent7 -> int4: the redeposition is not a Gnostic.; int4 & sent11 -> int5: the juggernaut is a Gnostic and does not traffic Cassiopeia.; int5 & sent1 -> int6: the shagbark is not a yataghan.; sent6 -> int7: if the fact that the shipowner is not inflectional but it is incommensurate is incorrect it is tasteless.;
the shipowner is not tasteless.
$hypothesis$ = the shipowner is tasteless. ; $context$ = sent1: that the shagbark is not a yataghan hold if the juggernaut is a Gnostic that does not traffic Cassiopeia. sent2: if the horse-trail is not a Jena but it is a combine the shipowner is not tasteless. sent3: if the fact that something is not a kind of a Jena but it is a kind of a deposit does not hold it is a Setubal. sent4: there exists something such that the fact that it is not a combine is true. sent5: something is a Setubal if it is not a deposit. sent6: something is not non-tasteless if the fact that it is not inflectional but incommensurate is not true. sent7: the redeposition is not a Gnostic if the horse-trail is a kind of a Setubal. sent8: if there is something such that it is not a combine the fact that the horse-trail is not a Jena but it is a deposit is not right. sent9: if something is inflectional then it is tasteless. sent10: if the horse-trail is both not a Jena and a Gnostic the clockwork is a Gnostic. sent11: if that the redeposition is not Gnostic is not wrong then the juggernaut is a Gnostic and does not traffic Cassiopeia. sent12: that the shipowner is not inflectional but it is incommensurate is not true if the shagbark is not inflectional. ; $proof$ = 
sent4 & sent8 -> int1: that the horse-trail is not a kind of a Jena but it does deposit is not right.; sent3 -> int2: if the fact that the horse-trail is not a Jena and deposits is not true then it is a Setubal.; int1 & int2 -> int3: the horse-trail is a Setubal.; int3 & sent7 -> int4: the redeposition is not a Gnostic.; int4 & sent11 -> int5: the juggernaut is a Gnostic and does not traffic Cassiopeia.; int5 & sent1 -> int6: the shagbark is not a yataghan.; sent6 -> int7: if the fact that the shipowner is not inflectional but it is incommensurate is incorrect it is tasteless.; __UNKNOWN__