A tableau system for right propositional neighborhood logic over finite linear orders: an implementation