Which of the following sentences effectively uses a formal tone?

Did you know that some heroic animals save lives without any formal training?
I can't believe how many awesome animals are credited with saving lives.
There are countless stories about heroic animals that have saved a human life.
The world's favorite hero animal is the always amazing golden retriever.