0175132人目の素数さん垢版 | 大砲2020/08/07(金) 01:49:29.14ID:nYy6u42l 推論規則をまずいくつか書いてくれると、議論がスムーズになりそう。 (全部書いてくれるといいのだけど。)