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