Original: It strengthened into a tropical storm twelve hours later, and became a hurricane on July 13.
Simplified: The depression organized into a tropical storm 12 hours later.