the waterskin does not cohere delayed and is a sleuth.
sent1: the voluntary is not a kind of a Shakers and is not a zap. sent2: the waterskin does not cohere delayed if the voluntary either does cohere voluntary or does not oppose or both. sent3: there exists something such that the fact that it either is not meretricious or is not a Gobiesox or both does not hold. sent4: that something does not cohere delayed but it is a sleuth does not hold if it is a Bruno. sent5: the waterskin is a sleuth. sent6: the voluntary is a kind of a Bruno if there exists something such that that it is not meretricious or it is not a kind of a Gobiesox or both does not hold. sent7: the voluntary is a kind of a Bruno if there is something such that the fact that it is not meretricious or it is a kind of a Gobiesox or both is false.
sent3 & sent6 -> int1: the voluntary is a Bruno.;
the fact that the waterskin does not cohere delayed and is a sleuth does not hold.
sent4 -> int2: if the waterskin is a Bruno the fact that it does not cohere delayed and is a sleuth does not hold.; sent1 -> int3: there exists something such that it is not a Shakers and is not a zap.;
$hypothesis$ = the waterskin does not cohere delayed and is a sleuth. ; $context$ = sent1: the voluntary is not a kind of a Shakers and is not a zap. sent2: the waterskin does not cohere delayed if the voluntary either does cohere voluntary or does not oppose or both. sent3: there exists something such that the fact that it either is not meretricious or is not a Gobiesox or both does not hold. sent4: that something does not cohere delayed but it is a sleuth does not hold if it is a Bruno. sent5: the waterskin is a sleuth. sent6: the voluntary is a kind of a Bruno if there exists something such that that it is not meretricious or it is not a kind of a Gobiesox or both does not hold. sent7: the voluntary is a kind of a Bruno if there is something such that the fact that it is not meretricious or it is a kind of a Gobiesox or both is false. ; $proof$ = 
sent3 & sent6 -> int1: the voluntary is a Bruno.; __UNKNOWN__