You obviously jump in with inappropriate info without reading the post and make statements totally unrelated to this post. Nowhere did I implicate running pure diesel in a gas engine because it burns much hotter and will damage the engine.
He said he put 5 gallons of gas in his diesel tractor tank. I assume the tank was nearly empty otherwise he wouldn't be refueling. A small amount of diesel mixed in with gasoline will not foul spark plugs or in any way harm a gasoline engine. As far as sediment in the tank, there shouldn't be any if proper care is used when filling. Further dilution of the product by putting it in with 15 or so gallons of gasoline when you refuel your truck (most real trucks hold 20-25 gallons or more) will not noticeably affect the performance of the gasoline engine but to the contrary will enhance the performance. Diesel has more energy than gasoline per volume.
Disposing of 5 or 6 gallons of perfectly good fuel is a waste and also not to good for the environment. By disconnecting the fuel lines you will have fuel running all over the tractor frame, spilling onto the ground AND a total waste of time to unhook and return the fuel line possibly getting air into the system and requiring bleeding of the fuel system with more fuel onto the ground.
Some folks work smart and others, Well they just work.