I won't argue that "No, because" and "Yes, if" are mathematically equivalent statements. But I hold that the immutability implication you mention is something added by the listener, not information "carried" by the bits of the "No, because."

They may not be proper synonyms, but a listener that's forgiving of input errors can interpret them as synonyms, at least until proven otherwise through further conversation.