そのぽにゅぽわLv.74はほったらかす
fact1: もし「なんらかのモンスターはしどけない一方で掻き易くない」ということは成り立たないとすれば揮毫する fact2: そのぽにゅぽわLv.74はたどたどしい fact3: 「もしなにがしかのモンスターが揮毫するならそれはほったらかす」ということは成り立つ fact4: 仮にあるモンスターはうら若くないとすれば「しどけないモンスターでさらに掻き易くない」ということは事実と異なる fact5: もしたどたどしくないモンスターが解析出来ないとするとうら若いということはない
そのぽにぽゆLv.43はほったらかす
fact10 -> int1: もし仮に「そのぽにぽゆLv.43は揮毫する」ということは本当ならばほったらかす; fact9 -> int2: 仮に「そのぽにぽゆLv.43はしどけないが掻き易くない」ということは成り立たないならばそのぽにぽゆLv.43は揮毫する; fact7 -> int3: 仮にそのぽにぽゆLv.43はうら若いということはないとすれば「そのぽにぽゆLv.43はしどけないけど掻き易くない」ということは成り立たない; fact8 -> int4: もしそのぽにぽゆLv.43はたどたどしくないしかつ解析出来ないならうら若くない; fact6 -> int5: 「たどたどしい」モンスターはいる;
$facts$ = fact1: もし「なんらかのモンスターはしどけない一方で掻き易くない」ということは成り立たないとすれば揮毫する fact2: そのぽにゅぽわLv.74はたどたどしい fact3: 「もしなにがしかのモンスターが揮毫するならそれはほったらかす」ということは成り立つ fact4: 仮にあるモンスターはうら若くないとすれば「しどけないモンスターでさらに掻き易くない」ということは事実と異なる fact5: もしたどたどしくないモンスターが解析出来ないとするとうら若いということはない ; $hypothesis$ = そのぽにゅぽわLv.74はほったらかす ; $proof$ = 
__UNKNOWN__
__UNKNOWN__