このみねみゆLv.18は得難い
fact1: 食事するししかも洋風化しないというモンスターはない fact2: もしそのぷのぷにょLv.14が築き難いとすればこのみねみゆLv.18は離れ難い fact3: 離れ難いモンスターは築き難くないしまた洋風化しない fact4: もし「そのぷくぷにゃLv.71は食事するけれどそれは洋風化するということはない」ということは成り立たないならばそのぷのぷにょLv.14は築き難い fact5: 得難くないモンスターは離れ難いし更に立ち塞がる fact6: このみねみゆLv.18は立ち塞がる
fact1 -> int1: 「そのぷくぷにゃLv.71は食事するけどそれは洋風化しない」ということは成り立たない; int1 & fact4 -> int2: そのぷのぷにょLv.14は築き難い; int2 & fact2 -> int3: このみねみゆLv.18は離れ難い; int3 & fact6 -> int4: このみねみゆLv.18は離れ難いしそれに立ち塞がる;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact2 -> int3: {B}{b}; int3 & fact6 -> int4: ({B}{b} & {C}{b});
「あのぴにょぴいLv.32は洋風化しない」ということは本当だ
fact7 -> int5: 仮にそのぷのぷにょLv.14が得難くないならばそのぷのぷにょLv.14は離れ難くてそれは立ち塞がる; fact8 -> int6: 仮にそのぷのぷにょLv.14が離れ難いとすればそのぷのぷにょLv.14は築き難いということはなくてさらに洋風化しない;
$facts$ = fact1: 食事するししかも洋風化しないというモンスターはない fact2: もしそのぷのぷにょLv.14が築き難いとすればこのみねみゆLv.18は離れ難い fact3: 離れ難いモンスターは築き難くないしまた洋風化しない fact4: もし「そのぷくぷにゃLv.71は食事するけれどそれは洋風化するということはない」ということは成り立たないならばそのぷのぷにょLv.14は築き難い fact5: 得難くないモンスターは離れ難いし更に立ち塞がる fact6: このみねみゆLv.18は立ち塞がる ; $hypothesis$ = このみねみゆLv.18は得難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__