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 .