However, trolling isn't allowed. If a user is habitually posting obviously false nonsense ("obviously false nonsense" to an outsider, NOT to someone who follows or is involved in the discussion) just to stir up trouble, then it's considered trolling, which is prohibited. Such cases should be thoroughly documented in the report though (There are tons of reports that just say "trolling", but moderators don't have time to look through each user's post).
I don't really think he's met this qualification, especially the "obviously false nonsense" to an outsider part... and if you are reporting this sort of thing to a mod, I assume you will need a lot of documentation/support to back up the habitual use of obviously false nonsense to an outsider part, and may even have to explain why it's obviously false. Good luck with all that. 
(Ignore is easier...)