素敵に機種依存文字(多分)で訳分かりませんがな
分離規則、Modus Ponens More ログイン