このもにもにゅLv.3は凄まじくない
fact1: もしこのまにゅまなLv.98は心細くないとしたら「このもやもやLv.60はか細くてエロい」ということは成り立たない fact2: 「このもにもにゅLv.3は凄まじいということはなくて御固くない」ということは成り立たないとするとこのもやもやLv.60は蒸し上がる fact3: もし仮に「このもやもやLv.60は御固くないしその上蒸し上がるということはない」ということは誤っているとしたら「このもにもにゅLv.3は凄まじい」ということは確かである fact4: もしも「このもやもやLv.60がか細いしその上エロい」ということは嘘ならこのもにもにゅLv.3は凄まじくない fact5: 「このもやもやLv.60は御固くなくてしかも蒸し上がらない」ということは成り立たない fact6: 「もしも「なにがしかのモンスターは切り出せるということはないがしかし心細い」ということは事実と異なるとすれば心細いということはない」ということは本当である fact7: もしも何らかのモンスターは姦しいということはないならば「切り出せるということはないしそれは心細い」ということは偽だ
fact5 -> int1: 「このもやもやLv.60は御固くなくてしかも蒸し上がらない」ということは成り立たない; int1 & fact3 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis;
このもにもにゅLv.3は凄まじくない
fact9 -> int2: もし「このまにゅまなLv.98は切り出せるということはないがしかし心細い」ということは誤りであるならばこのまにゅまなLv.98は心細くない; fact8 -> int3: もしこのまにゅまなLv.98は姦しくないなら「このまにゅまなLv.98は切り出せないけれど心細い」ということは事実と異なる;
$facts$ = fact1: もしこのまにゅまなLv.98は心細くないとしたら「このもやもやLv.60はか細くてエロい」ということは成り立たない fact2: 「このもにもにゅLv.3は凄まじいということはなくて御固くない」ということは成り立たないとするとこのもやもやLv.60は蒸し上がる fact3: もし仮に「このもやもやLv.60は御固くないしその上蒸し上がるということはない」ということは誤っているとしたら「このもにもにゅLv.3は凄まじい」ということは確かである fact4: もしも「このもやもやLv.60がか細いしその上エロい」ということは嘘ならこのもにもにゅLv.3は凄まじくない fact5: 「このもやもやLv.60は御固くなくてしかも蒸し上がらない」ということは成り立たない fact6: 「もしも「なにがしかのモンスターは切り出せるということはないがしかし心細い」ということは事実と異なるとすれば心細いということはない」ということは本当である fact7: もしも何らかのモンスターは姦しいということはないならば「切り出せるということはないしそれは心細い」ということは偽だ ; $hypothesis$ = このもにもにゅLv.3は凄まじくない ; $proof$ = 
fact5 -> int1: 「このもやもやLv.60は御固くなくてしかも蒸し上がらない」ということは成り立たない; int1 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis; __DISPROVED__