Normative Conditional Reasoning as a Fragment of HOL