そのもくもわLv.30は小さ過ぎる
fact1: そのもくもわLv.30はすばしっこい fact2: 「そのもくもわLv.30は保障し合うということはないしおまけに答え易くない」ということは間違いだとするとそのもくもわLv.30は気恥ずかしい fact3: 「そのもくもわLv.30は答え易いということはないが伝わり易い」ということは成り立つということはない fact4: もしも「何らかのモンスターはすばしっこい」ということは事実ならば「答え易くないしまた伝わり易くない」ということは本当でない fact5: 仮になんらかのモンスターは引っ張り上げるとしたら「すばしっこいということはないしその上利用し難くない」ということは嘘だ fact6: 「そのもくもわLv.30は悪賢くない一方で伝わり易い」ということは間違っている fact7: もしも「そのもくもわLv.30は答え易くないし伝わり易くない」ということは嘘だとしたらそれは小さ過ぎる fact8: もし仮に「何らかのモンスターは作業し易い」ということは成り立つとすれば「それはすばしっこいということはなくてまた小さ過ぎる」ということは偽だ
fact4 -> int1: もし仮にそのもくもわLv.30はすばしっこいとしたら「そのもくもわLv.30は答え易くなくて更にそれは伝わり易くない」ということは誤っている; int1 & fact1 -> int2: 「「そのもくもわLv.30は答え易くないしそれにそれは伝わり易くない」ということは成り立つ」ということは間違いである; int2 & fact7 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact7 -> hypothesis;
仮にこのまちょまのLv.10は引っ張り上げれば「このまちょまのLv.10はすばしっこくないし利用し難くない」ということは偽である
fact9 -> hypothesis;
$facts$ = fact1: そのもくもわLv.30はすばしっこい fact2: 「そのもくもわLv.30は保障し合うということはないしおまけに答え易くない」ということは間違いだとするとそのもくもわLv.30は気恥ずかしい fact3: 「そのもくもわLv.30は答え易いということはないが伝わり易い」ということは成り立つということはない fact4: もしも「何らかのモンスターはすばしっこい」ということは事実ならば「答え易くないしまた伝わり易くない」ということは本当でない fact5: 仮になんらかのモンスターは引っ張り上げるとしたら「すばしっこいということはないしその上利用し難くない」ということは嘘だ fact6: 「そのもくもわLv.30は悪賢くない一方で伝わり易い」ということは間違っている fact7: もしも「そのもくもわLv.30は答え易くないし伝わり易くない」ということは嘘だとしたらそれは小さ過ぎる fact8: もし仮に「何らかのモンスターは作業し易い」ということは成り立つとすれば「それはすばしっこいということはなくてまた小さ過ぎる」ということは偽だ ; $hypothesis$ = そのもくもわLv.30は小さ過ぎる ; $proof$ = 
fact4 -> int1: もし仮にそのもくもわLv.30はすばしっこいとしたら「そのもくもわLv.30は答え易くなくて更にそれは伝わり易くない」ということは誤っている; int1 & fact1 -> int2: 「「そのもくもわLv.30は答え易くないしそれにそれは伝わり易くない」ということは成り立つ」ということは間違いである; int2 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact7 -> hypothesis; __PROVED__