I was told by a wise person (Petruchio) to ignore those kind of people, as they'll eventually get bored and leave.

It's a good advice, as it worked for me;
as soon as I didn't react to provocation
I stopped to be annoyed
(I think the game became no more fun for mister
'I-m-looking-for-someone-to-struggle-with' as soon as there is no 'opponents')
It's interesting to note that this behaviour is exactly the same you should have with young children (should I deduce that there are young trolls in the monastery ?)

So sad, other people gave interest (by arguing,answering, trying to educate...)
to those kind of people.
I'm not blaming them for this, I did the same :
I've tried, in vain to understand those pople and make them behave.
But I had to face it, when all they want is to mess with someone,
all you can do is to make sure they won't find someone to mess with -> IGNORE THEM

There are so many things to learn here...
Just ignore the trolls...