Answer: Easy, don't get ketchup on it in the first place. But what I would suggest is firstly using a paper towel to get any excess off of the shirt, then taking a wet wash cloth with cold water, then put on detergent on the spot, let it sit for a few then get some vinegar and just do that till the stain is out.
