あのぷちゅぷのLv.30は動き難い
fact1: もし仮に心強いモンスターが打ち上がり易いとしたらあのぷちゅぷのLv.30は動き難くない fact2: このみちょみよLv.83はいとおしい fact3: 拭い難くないしおまけにいとおしくないモンスターは動き難くない fact4: 心強いモンスターはいる fact5: あのぽにょぽにゃLv.52は心強い fact6: このみちょみよLv.83はいとおしいがしかし拭い難くない fact7: 「もしも「なにがしかのモンスターはいとおしくないし動き難くない」ということは嘘であるなら「動き難くない」ということは偽だ」ということは本当である
fact6 -> int1: このみちょみよLv.83は拭い難くない;
fact6 -> int1: ¬{B}{a};
このぷねぷわLv.0は動き難い
fact8 -> int2: もしもこのぷねぷわLv.0が拭い難くないしいとおしくないとしたらこのぷねぷわLv.0は動き難い;
$facts$ = fact1: もし仮に心強いモンスターが打ち上がり易いとしたらあのぷちゅぷのLv.30は動き難くない fact2: このみちょみよLv.83はいとおしい fact3: 拭い難くないしおまけにいとおしくないモンスターは動き難くない fact4: 心強いモンスターはいる fact5: あのぽにょぽにゃLv.52は心強い fact6: このみちょみよLv.83はいとおしいがしかし拭い難くない fact7: 「もしも「なにがしかのモンスターはいとおしくないし動き難くない」ということは嘘であるなら「動き難くない」ということは偽だ」ということは本当である ; $hypothesis$ = あのぷちゅぷのLv.30は動き難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__