そのまくまいLv.74は申し渡す
fact1: そのまくまいLv.74は潔し fact2: このまわまちゃLv.17は申し渡す fact3: 御濃くないモンスターは申し渡すし更に相談し易い fact4: すべてのモンスターは申し渡す fact5: もし「何らかのモンスターは寒しないけれどそれは優し」ということは成り立たないとすれば御濃くない fact6: 仮にこのまにょまにょLv.40は編集出来るとすれば「それは寒しない一方で優し」ということは誤っている
fact4 -> int1: すべてのモンスターは申し渡す; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
このまにょまにょLv.40は申し渡す
fact7 -> int2: もしもこのまにょまにょLv.40が御濃くないとすると申し渡すしかつ相談し易い; fact9 -> int3: もしも「このまにょまにょLv.40は寒しないがしかし優し」ということは嘘であるとしたら「このまにょまにょLv.40は御濃いということはない」ということは本当だ;
$facts$ = fact1: そのまくまいLv.74は潔し fact2: このまわまちゃLv.17は申し渡す fact3: 御濃くないモンスターは申し渡すし更に相談し易い fact4: すべてのモンスターは申し渡す fact5: もし「何らかのモンスターは寒しないけれどそれは優し」ということは成り立たないとすれば御濃くない fact6: 仮にこのまにょまにょLv.40は編集出来るとすれば「それは寒しない一方で優し」ということは誤っている ; $hypothesis$ = そのまくまいLv.74は申し渡す ; $proof$ = 
fact4 -> int1: すべてのモンスターは申し渡す; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__