ぶっちゃけ三段論法除去するのは簡単なんですよ
それまでの証明完成させてくれませんか?