「あのみちょみちょLv.99は収容出来ないしかつ扱い難くない」ということは成り立たない
fact1: もしあるモンスターは間近くないなら「収容出来なくてかつそれは扱い難くない」ということは誤っている fact2: もしもとあるモンスターが苦戦するとしたら混乱しなくて弱々しくない fact3: もしあのみちょみちょLv.99は間近いとしたら「あのみちょみちょLv.99は扱い難くない」ということは事実だ fact4: もし仮に「あのみちょみちょLv.99は理解し易い」ということは成り立つとすればあのみちょみちょLv.99は間近いということはない fact5: 間近いモンスターは収容出来なくて扱い難くない fact6: あのみちょみちょLv.99は間近い fact7: 間近いモンスターは扱い難いということはない
fact5 -> int1: もし仮にあのみちょみちょLv.99が間近いならばあのみちょみちょLv.99は収容出来なくておまけに扱い難くない; int1 & fact6 -> hypothesis;
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> hypothesis;
「あのみちょみちょLv.99は収容出来ないしかつ扱い難くない」ということは成り立たない
fact8 -> int2: あのみちょみちょLv.99は間近くないとすれば「収容出来るということはないしそれは扱い難いということはない」ということは誤りだ;
$facts$ = fact1: もしあるモンスターは間近くないなら「収容出来なくてかつそれは扱い難くない」ということは誤っている fact2: もしもとあるモンスターが苦戦するとしたら混乱しなくて弱々しくない fact3: もしあのみちょみちょLv.99は間近いとしたら「あのみちょみちょLv.99は扱い難くない」ということは事実だ fact4: もし仮に「あのみちょみちょLv.99は理解し易い」ということは成り立つとすればあのみちょみちょLv.99は間近いということはない fact5: 間近いモンスターは収容出来なくて扱い難くない fact6: あのみちょみちょLv.99は間近い fact7: 間近いモンスターは扱い難いということはない ; $hypothesis$ = 「あのみちょみちょLv.99は収容出来ないしかつ扱い難くない」ということは成り立たない ; $proof$ = 
fact5 -> int1: もし仮にあのみちょみちょLv.99が間近いならばあのみちょみちょLv.99は収容出来なくておまけに扱い難くない; int1 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> hypothesis; __DISPROVED__