if
    anyof(
      exists [
        "Auto-Submitted",
        "X-CSA-Complaints",
        "X-mail_abuse_inquiries",
        "Feedback-ID",
        "List-Unsubscribe"
      ],
      header :contains "Return-Path" [
        "wordfly.com",
        "amazonses.com",
        "salesforce.com"
      ],
      header :is "Precedence" [
        "bulk",
        "list"
      ],
      address :is :localpart ["from", "all"] [
        "do-not-reply",
        "donotreply",
        "no-reply",
        "noreply",
        "notification",
        "notifications"
      ]
    )
{
  fileinto "INBOX.Notifications";
}