仮言的三段論法 (かげんてきさんだんろんぽう) — hypothetical syllogism | Kumi Dictionary