「このぽにゃぽにゃLv.87は安くない」ということは成り立つ
fact1: 「補正する」モンスターがいるとしたらこのぽにゃぽにゃLv.87は安いということはない fact2: 全てのモンスターはわりなくない fact3: 何らかのモンスターは補正する fact4: もし「「このぷにゅぷねLv.13は忘れ難くないけれど安い」ということは本当だ」ということは真実でないならばこのぽにゃぽにゃLv.87は忘れ難い fact5: 弱しないモンスターは受け入れ難くないが分離し易い fact6: わりなくないモンスターは弱しない
fact3 -> int1: 何らかのモンスターは補正する; int1 & fact1 -> hypothesis;
fact3 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
「このぽにゃぽにゃLv.87は安い」ということは成り立つ
fact9 -> int2: もしもあのぷにょぷのLv.93が弱しないとすればあのぷにょぷのLv.93は受け入れ難くないけど分離し易い; fact7 -> int3: あのぷにょぷのLv.93はわりなくない; fact8 -> int4: もし仮にあのぷにょぷのLv.93がわりなくないとするとあのぷにょぷのLv.93は弱しない; int3 & int4 -> int5: あのぷにょぷのLv.93は弱しない; int2 & int5 -> int6: あのぷにょぷのLv.93は受け入れ難くないがしかし分離し易い; int6 -> int7: 全てのモンスターは受け入れ難いということはなくてそれは分離し易い; int7 -> int8: このぷにゅぷねLv.13は受け入れ難くないがしかし分離し易い; int8 -> int9: このぷにゅぷねLv.13は受け入れ難いということはない;
$facts$ = fact1: 「補正する」モンスターがいるとしたらこのぽにゃぽにゃLv.87は安いということはない fact2: 全てのモンスターはわりなくない fact3: 何らかのモンスターは補正する fact4: もし「「このぷにゅぷねLv.13は忘れ難くないけれど安い」ということは本当だ」ということは真実でないならばこのぽにゃぽにゃLv.87は忘れ難い fact5: 弱しないモンスターは受け入れ難くないが分離し易い fact6: わりなくないモンスターは弱しない ; $hypothesis$ = 「このぽにゃぽにゃLv.87は安くない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 何らかのモンスターは補正する; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __PROVED__