Original: Pretoria itself was founded in 1855 by Marthinus Pretorius, a leader of the Voortrekkers, who named it after his father Andries Pretorius.
Simplified: Pretoruis named the city after his father Andries Pretorius.