このみにみにゅLv.10は大量生産しない
fact1: 「「このもなもやLv.24は久しけれど漂い出さない」ということは成り立たない」ということは成り立つ fact2: もしも「そのみちゅみいLv.83がイメージし易いしその上大量生産する」ということは嘘であるとすればこのみにみにゅLv.10は大量生産しない fact3: もし「このもなもやLv.24はべた付き易い」ということは真実だとしたらこのみにみにゅLv.10は大量生産する fact4: 「このもなもやLv.24は久しし漂い出す」ということは間違っている fact5: もしもなんらかのモンスターが漂い出すならべた付き易い fact6: もし「なにがしかのモンスターは久し一方で漂い出さない」ということは事実でないなら「それはべた付き易い」ということは成り立つ fact7: もしこのもなもやLv.24が漂い出すとしたらこのもなもやLv.24はべた付き易い
fact6 -> int1: もし仮に「「このもなもやLv.24は久しけどそれは漂い出さない」ということは正しい」ということは成り立たないなら「べた付き易い」ということは成り立つ; int1 & fact1 -> int2: このもなもやLv.24はべた付き易い; int2 & fact3 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
このみにみにゅLv.10は大量生産しない
$facts$ = fact1: 「「このもなもやLv.24は久しけれど漂い出さない」ということは成り立たない」ということは成り立つ fact2: もしも「そのみちゅみいLv.83がイメージし易いしその上大量生産する」ということは嘘であるとすればこのみにみにゅLv.10は大量生産しない fact3: もし「このもなもやLv.24はべた付き易い」ということは真実だとしたらこのみにみにゅLv.10は大量生産する fact4: 「このもなもやLv.24は久しし漂い出す」ということは間違っている fact5: もしもなんらかのモンスターが漂い出すならべた付き易い fact6: もし「なにがしかのモンスターは久し一方で漂い出さない」ということは事実でないなら「それはべた付き易い」ということは成り立つ fact7: もしこのもなもやLv.24が漂い出すとしたらこのもなもやLv.24はべた付き易い ; $hypothesis$ = このみにみにゅLv.10は大量生産しない ; $proof$ = 
fact6 -> int1: もし仮に「「このもなもやLv.24は久しけどそれは漂い出さない」ということは正しい」ということは成り立たないなら「べた付き易い」ということは成り立つ; int1 & fact1 -> int2: このもなもやLv.24はべた付き易い; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __DISPROVED__