あのみちゅみちゃLv.40は判別し易い
fact1: もしも「あのみちゅみちゃLv.40は最もらしいしその上無力化する」ということは成り立たないとすればこのぽやぽえLv.80は判別し易くない fact2: 最もらしいモンスターは判別し易い fact3: もしも「このぽやぽえLv.80は美しいしまた無力化する」ということは成り立たないとすればあのみちゅみちゃLv.40は判別し易くない fact4: 仮になんらかのモンスターは最もらしくないとすると「美しいし無力化する」ということは成り立たない fact5: このぽやぽえLv.80は最もらしいということはない fact6: 使い難いモンスターは最もらしいということはないしまた判別し易いということはない fact7: もし仮にこのぽやぽえLv.80が美しくないならばあのみちゅみちゃLv.40は判別し易くない fact8: もし仮にあのみちゅみちゃLv.40が最もらしくないし判別し易くないとしたらあのものもくLv.35は無力化しない
fact4 -> int1: もしもこのぽやぽえLv.80は最もらしくないとしたら「このぽやぽえLv.80は美しいし無力化する」ということは嘘である; int1 & fact5 -> int2: 「このぽやぽえLv.80は美しくて無力化する」ということは誤りである; int2 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact5 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis;
あのものもくLv.35は無力化しない
fact10 -> int3: もしもあのみちゅみちゃLv.40が使い難いならばそれは最もらしくないし判別し易くない;
$facts$ = fact1: もしも「あのみちゅみちゃLv.40は最もらしいしその上無力化する」ということは成り立たないとすればこのぽやぽえLv.80は判別し易くない fact2: 最もらしいモンスターは判別し易い fact3: もしも「このぽやぽえLv.80は美しいしまた無力化する」ということは成り立たないとすればあのみちゅみちゃLv.40は判別し易くない fact4: 仮になんらかのモンスターは最もらしくないとすると「美しいし無力化する」ということは成り立たない fact5: このぽやぽえLv.80は最もらしいということはない fact6: 使い難いモンスターは最もらしいということはないしまた判別し易いということはない fact7: もし仮にこのぽやぽえLv.80が美しくないならばあのみちゅみちゃLv.40は判別し易くない fact8: もし仮にあのみちゅみちゃLv.40が最もらしくないし判別し易くないとしたらあのものもくLv.35は無力化しない ; $hypothesis$ = あのみちゅみちゃLv.40は判別し易い ; $proof$ = 
fact4 -> int1: もしもこのぽやぽえLv.80は最もらしくないとしたら「このぽやぽえLv.80は美しいし無力化する」ということは嘘である; int1 & fact5 -> int2: 「このぽやぽえLv.80は美しくて無力化する」ということは誤りである; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact5 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__