演繹推理の分解:仮定、推論、結論の明確さ