このまにゅまにゃLv.61は駆使出来るしさらに動き難い
fact1: 「このまにゅまにゃLv.61は動き難い」ということは成り立つ fact2: もしなんらかのモンスターはしばれないとすれば「それは駆使出来るしまた動き難い」ということは嘘だ fact3: もしなんらかのモンスターはしばれるとしたら「そそっかしいということはなくて惨たらしい」ということは誤りである fact4: このぷいぷにゅLv.9は懐こいしおまけに動き難い fact5: 仮にこのまにゅまにゃLv.61はしばれないとすれば「そのもわもねLv.2は執刀しないけれどそれはそそっかしい」ということは偽だ fact6: そのぴよぴやLv.73が駆使出来るとするとこのまにゅまにゃLv.61はしばれない fact7: このぽなぽにゅLv.70はしばれる fact8: 仮になんらかのモンスターはしばれるなら「それはそそっかしいし加えて惨たらしい」ということは間違いだ
fact3 -> int1: もしもこのぽなぽにゅLv.70はしばれるとしたら「このぽなぽにゅLv.70はそそっかしくないけど惨たらしい」ということは誤っている; int1 & fact7 -> int2: 「このぽなぽにゅLv.70はそそっかしくないけど惨たらしい」ということは成り立たない;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} & {AB}{aa});
「このまにゅまにゃLv.61は駆使出来るし動き難い」ということは間違いである
fact9 -> int3: もしこのまにゅまにゃLv.61はしばれないとしたら「駆使出来るし動き難い」ということは成り立たない;
$facts$ = fact1: 「このまにゅまにゃLv.61は動き難い」ということは成り立つ fact2: もしなんらかのモンスターはしばれないとすれば「それは駆使出来るしまた動き難い」ということは嘘だ fact3: もしなんらかのモンスターはしばれるとしたら「そそっかしいということはなくて惨たらしい」ということは誤りである fact4: このぷいぷにゅLv.9は懐こいしおまけに動き難い fact5: 仮にこのまにゅまにゃLv.61はしばれないとすれば「そのもわもねLv.2は執刀しないけれどそれはそそっかしい」ということは偽だ fact6: そのぴよぴやLv.73が駆使出来るとするとこのまにゅまにゃLv.61はしばれない fact7: このぽなぽにゅLv.70はしばれる fact8: 仮になんらかのモンスターはしばれるなら「それはそそっかしいし加えて惨たらしい」ということは間違いだ ; $hypothesis$ = このまにゅまにゃLv.61は駆使出来るしさらに動き難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__