「仮に因り難いということはないとしたら「惨たらしくないけど非難出来る」ということは確かでない」モンスターはいる
fact1: もしもとあるモンスターが落ち易くないとするとうら若しないしそれに詰め掛ける fact2: 「もし仮に因り難いとすれば「惨たらしくないが非難出来る」ということは成り立たない」モンスターはいる fact3: もし仮になんらかのモンスターは因り難くないとしたら「惨たらしくないし非難出来る」ということは成り立たない fact4: もしもなにがしかのモンスターは易しないなら「得られ難いしまたそれは受け難い」ということは真実でない fact5: 何らかのモンスターが紳士らしくないなら瑞々しくないがしかし遅い fact6: もしなにがしかのモンスターは因り難いとすると「それは惨たらしくないし非難出来る」ということは間違っている
fact3 -> int1: 仮にこのぴちゅぴえLv.69は因り難いということはないならば「このぴちゅぴえLv.69は惨たらしくないけど非難出来る」ということは成り立たない; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもとあるモンスターが落ち易くないとするとうら若しないしそれに詰め掛ける fact2: 「もし仮に因り難いとすれば「惨たらしくないが非難出来る」ということは成り立たない」モンスターはいる fact3: もし仮になんらかのモンスターは因り難くないとしたら「惨たらしくないし非難出来る」ということは成り立たない fact4: もしもなにがしかのモンスターは易しないなら「得られ難いしまたそれは受け難い」ということは真実でない fact5: 何らかのモンスターが紳士らしくないなら瑞々しくないがしかし遅い fact6: もしなにがしかのモンスターは因り難いとすると「それは惨たらしくないし非難出来る」ということは間違っている ; $hypothesis$ = 「仮に因り難いということはないとしたら「惨たらしくないけど非難出来る」ということは確かでない」モンスターはいる ; $proof$ = 
fact3 -> int1: 仮にこのぴちゅぴえLv.69は因り難いということはないならば「このぴちゅぴえLv.69は惨たらしくないけど非難出来る」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__