Deontic Logic for Human Reasoning