このまやまちゃLv.42は面白おかしくない
fact1: もし仮に扱い難いモンスターが判別し難いとすればそれは面白おかしい fact2: もしもこのまやまちゃLv.42が扱い難いしそれに判別し難いなら面白おかしい fact3: このぷねぷいLv.14は把握す一方で感動出来ない fact4: 「なにがしかのモンスターは等しがしかし心置き無くない」ということは真実でないとすると面白おかしくない fact5: もしもとあるモンスターは扱い難い一方で判別し難くないとしたら面白おかしい fact6: もし仮にこのまやまちゃLv.42は信仰深くないとすれば「等しけれど心置き無くない」ということは嘘である fact7: このまやまちゃLv.42は扱い難いけれどそれは判別し難くない
fact5 -> int1: このまやまちゃLv.42は扱い難いけれど判別し難くないとするとそれは面白おかしい; int1 & fact7 -> hypothesis;
fact5 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> hypothesis;
このまやまちゃLv.42は面白おかしくない
fact8 -> int2: もし仮に「このまやまちゃLv.42は等しが心置き無くない」ということは偽だとすればこのまやまちゃLv.42は面白おかしくない;
$facts$ = fact1: もし仮に扱い難いモンスターが判別し難いとすればそれは面白おかしい fact2: もしもこのまやまちゃLv.42が扱い難いしそれに判別し難いなら面白おかしい fact3: このぷねぷいLv.14は把握す一方で感動出来ない fact4: 「なにがしかのモンスターは等しがしかし心置き無くない」ということは真実でないとすると面白おかしくない fact5: もしもとあるモンスターは扱い難い一方で判別し難くないとしたら面白おかしい fact6: もし仮にこのまやまちゃLv.42は信仰深くないとすれば「等しけれど心置き無くない」ということは嘘である fact7: このまやまちゃLv.42は扱い難いけれどそれは判別し難くない ; $hypothesis$ = このまやまちゃLv.42は面白おかしくない ; $proof$ = 
fact5 -> int1: このまやまちゃLv.42は扱い難いけれど判別し難くないとするとそれは面白おかしい; int1 & fact7 -> hypothesis; __DISPROVED__
fact5 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> hypothesis; __DISPROVED__