An Optimal Decision Procedure for Right Propositional Neighborhood Logic