When a new case is created or update, if it has an account which is active and the status of the case is new:
Then Priority must be "High"
AND(AND( NOT(ISBLANK(AccountId)), ISPICKVAL( Account.Active__c , "YES") , ISPICKVAL(Status, "New")) , NOT(ISPICKVAL( Priority , "High")) )