「あのぴにぴゆLv.8は所狭し」ということは確かである
fact1: もし仮にこのぷちゅぷにょLv.7が理解し難いとするとあのぴにぴゆLv.8は所狭し fact2: もし仮に「あのぴにぴゆLv.8は考え辛いが所狭くない」ということは成り立たないとすれば「用い易い」ということは成り立つ fact3: 「なにがしかのモンスターは所狭しがしかしそれは用い易くない」ということは成り立たないなら理解し難い fact4: あのぴにぴゆLv.8は理解し難い fact5: このぷちゅぷにょLv.7は所狭し fact6: 「何らかのモンスターは煙たいがしかし悍ましくない」ということは誤っているとしたらそれは見出だし難い fact7: もし「何らかのモンスターは考え辛いが用い易くない」ということは誤りであるならば理解し難い
fact7 -> int1: もし仮に「このぷちゅぷにょLv.7は考え辛いけれど用い易くない」ということは誤りだとすればこのぷちゅぷにょLv.7は理解し難い;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa};
$facts$ = fact1: もし仮にこのぷちゅぷにょLv.7が理解し難いとするとあのぴにぴゆLv.8は所狭し fact2: もし仮に「あのぴにぴゆLv.8は考え辛いが所狭くない」ということは成り立たないとすれば「用い易い」ということは成り立つ fact3: 「なにがしかのモンスターは所狭しがしかしそれは用い易くない」ということは成り立たないなら理解し難い fact4: あのぴにぴゆLv.8は理解し難い fact5: このぷちゅぷにょLv.7は所狭し fact6: 「何らかのモンスターは煙たいがしかし悍ましくない」ということは誤っているとしたらそれは見出だし難い fact7: もし「何らかのモンスターは考え辛いが用い易くない」ということは誤りであるならば理解し難い ; $hypothesis$ = 「あのぴにぴゆLv.8は所狭し」ということは確かである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__