IL.H.04 برابر انگلیک (انگلیسی): IL.H.04 دیسهای [(𝜙 → 𝜓)∧(𝜓 → 𝜃)] → (𝜙 → 𝜃)[(𝜙 → 𝜓)∧(𝜓 → 𝜃)] → (𝜙 → 𝜃)