このもにゃもなLv.54は必要する
fact1: あのもちゃもえLv.38は修了する fact2: 「あのもちゃもえLv.38は必要するししかも信じ易い」ということは偽である fact3: とあるモンスターは修了するとすれば「後らしくないしそれは信じ易い」ということは成り立たない
fact3 -> int1: もしもあのもちゃもえLv.38は修了するなら「あのもちゃもえLv.38は後らしくない一方で信じ易い」ということは誤りである; int1 & fact1 -> int2: 「あのもちゃもえLv.38は後らしくないがしかし信じ易い」ということは事実と異なる;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} & {AB}{aa});
$facts$ = fact1: あのもちゃもえLv.38は修了する fact2: 「あのもちゃもえLv.38は必要するししかも信じ易い」ということは偽である fact3: とあるモンスターは修了するとすれば「後らしくないしそれは信じ易い」ということは成り立たない ; $hypothesis$ = このもにゃもなLv.54は必要する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__