nostr:npub1g3jqw8qrj9ppv3wjvg7pqajlwxsl53grmvagcy9pdyzjkthzlhpqvs69f8 "it"->"is"

You could negate the whole thing,

Given not is E, you can't derive a not ought E from a not is E.

The punchline is left as an exercise to the reader.