「そのもやもゆLv.37は起こし易くない」ということは成り立つ
fact1: 仮に「あるモンスターは据える一方で溶け易くない」ということは誤りだとしたら起こし易い fact2: あのまえまやLv.17は溶け易いけれどそれは据えるということはない fact3: 「あのまえまやLv.17は遮蔽しない」ということは成り立てばこのぷちゃぷゆLv.36は遮蔽する fact4: 仮にあのまえまやLv.17が溶け易いか拙いとすればそのもやもゆLv.37は起こし易くない fact5: もしも「あるモンスターは得難いということはないけれど運転し易い」ということは間違いであるとすれば「得難い」ということは正しい fact6: もし仮に何らかのモンスターは拙くないとしたら「それは据えるが溶け易くない」ということは嘘である fact7: 仮になにがしかのモンスターが得難いとすればそれは拙くない
fact2 -> int1: あのまえまやLv.17は溶け易い; int1 -> int2: あのまえまやLv.17は溶け易いかあるいは拙いかまたは両方だ; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact4 -> hypothesis;
そのもやもゆLv.37は起こし易い
fact10 -> int3: もし仮に「そのもやもゆLv.37は据えるが溶け易くない」ということは誤っているとすればそのもやもゆLv.37は起こし易い; fact8 -> int4: もし仮に「そのもやもゆLv.37は拙くない」ということは事実だとしたら「据えるしおまけにそれは溶け易くない」ということは間違いである; fact11 -> int5: そのもやもゆLv.37が得難いならばそのもやもゆLv.37は拙くない; fact9 -> int6: もしも「そのもやもゆLv.37は得難くないけど運転し易い」ということは成り立たないならそれは得難い;
$facts$ = fact1: 仮に「あるモンスターは据える一方で溶け易くない」ということは誤りだとしたら起こし易い fact2: あのまえまやLv.17は溶け易いけれどそれは据えるということはない fact3: 「あのまえまやLv.17は遮蔽しない」ということは成り立てばこのぷちゃぷゆLv.36は遮蔽する fact4: 仮にあのまえまやLv.17が溶け易いか拙いとすればそのもやもゆLv.37は起こし易くない fact5: もしも「あるモンスターは得難いということはないけれど運転し易い」ということは間違いであるとすれば「得難い」ということは正しい fact6: もし仮に何らかのモンスターは拙くないとしたら「それは据えるが溶け易くない」ということは嘘である fact7: 仮になにがしかのモンスターが得難いとすればそれは拙くない ; $hypothesis$ = 「そのもやもゆLv.37は起こし易くない」ということは成り立つ ; $proof$ = 
fact2 -> int1: あのまえまやLv.17は溶け易い; int1 -> int2: あのまえまやLv.17は溶け易いかあるいは拙いかまたは両方だ; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact4 -> hypothesis; __PROVED__