自然演繹
個人的にはしっくりきやすい形式的体系