The rules are in place so people don't turn the forum into a trash heap. Banning "Trolling" leads to minecraft forums-tier feelings police that forces everyone to put on a wishy washy ~nice guy~ facade to skirt getting hellfired from above in the scenario that they happened to make somebody buttmad.
The reason why patton360, torin, toxicology and the rest aren't banned despite obviously being trolls is simply because they're harmless at best and annoying at worst. Once they forget up, and they usually do historically, Badspot just profits because they will buy new accounts. Otherwise, you can ignore them and they go away completely.