あのぽにぽえLv.20は短い
fact1: もし仮にあのぷいぷゆLv.98が甚だしならばあのぷいぷゆLv.98は深め合わない fact2: 仮に「あのぽにぽえLv.20は限り無くなくて加えてそれは聞こえ難くない」ということは間違っているとするとそれは晴れない fact3: 仮になんらかのモンスターが晴れないとするとそれは捕らわれ易くて甚だし fact4: もしもあのぽにぽえLv.20が甚だしならあのぷいぷゆLv.98は甚だし fact5: 仮になにがしかのモンスターが深め合わないとすると短いし更に取れ難い
あのぷいぷゆLv.98は短い
fact8 -> int1: もし仮にあのぷいぷゆLv.98が深め合わないとすればあのぷいぷゆLv.98は短いししかも取れ難い; fact10 -> int2: 仮にあのぽにぽえLv.20が晴れないとすれば捕らわれ易くて甚だし;
$facts$ = fact1: もし仮にあのぷいぷゆLv.98が甚だしならばあのぷいぷゆLv.98は深め合わない fact2: 仮に「あのぽにぽえLv.20は限り無くなくて加えてそれは聞こえ難くない」ということは間違っているとするとそれは晴れない fact3: 仮になんらかのモンスターが晴れないとするとそれは捕らわれ易くて甚だし fact4: もしもあのぽにぽえLv.20が甚だしならあのぷいぷゆLv.98は甚だし fact5: 仮になにがしかのモンスターが深め合わないとすると短いし更に取れ難い ; $hypothesis$ = あのぽにぽえLv.20は短い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__