以下のように仮定する。「そのみちょみにゃLv.27は防ぎ切れなくて惨たらしくない」ということは誤りだ
fact1: もしなんらかのモンスターは惨たらしいとしたら「それは再婚する」ということは本当である fact2: もしも「あるモンスターは罪深くなくて生じ難くない」ということは成り立たないとすると故無い fact3: もし仮に「なにがしかのモンスターは防ぎ切れないし惨たらしいということはない」ということは間違いであるとすればそれは再婚する fact4: そのみちょみにゃLv.27は惨たらしくない fact5: もし仮に「あのぴちゃぴねLv.8は判別し難くない」ということは事実であるとすると「そのみちょみにゃLv.27は防ぎ切れるということはないし惨たらしくない」ということは偽である fact6: そのみちょみにゃLv.27は再婚しない fact7: 「そのみちょみにゃLv.27は防ぎ切れないけどそれは惨たらしい」ということは事実と異なる
fact3 -> int1: 仮に「そのみちょみにゃLv.27は防ぎ切れないし惨たらしくない」ということは嘘だとすればそれは再婚する; void -> assump1: 以下のように仮定する。「そのみちょみにゃLv.27は防ぎ切れなくて惨たらしくない」ということは誤りだ; int1 & assump1 -> int2: そのみちょみにゃLv.27は再婚する; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのみちょみにゃLv.27は防ぎ切れなくて惨たらしくない」ということは誤りだ
$facts$ = fact1: もしなんらかのモンスターは惨たらしいとしたら「それは再婚する」ということは本当である fact2: もしも「あるモンスターは罪深くなくて生じ難くない」ということは成り立たないとすると故無い fact3: もし仮に「なにがしかのモンスターは防ぎ切れないし惨たらしいということはない」ということは間違いであるとすればそれは再婚する fact4: そのみちょみにゃLv.27は惨たらしくない fact5: もし仮に「あのぴちゃぴねLv.8は判別し難くない」ということは事実であるとすると「そのみちょみにゃLv.27は防ぎ切れるということはないし惨たらしくない」ということは偽である fact6: そのみちょみにゃLv.27は再婚しない fact7: 「そのみちょみにゃLv.27は防ぎ切れないけどそれは惨たらしい」ということは事実と異なる ; $hypothesis$ = 以下のように仮定する。「そのみちょみにゃLv.27は防ぎ切れなくて惨たらしくない」ということは誤りだ ; $proof$ = 
fact3 -> int1: 仮に「そのみちょみにゃLv.27は防ぎ切れないし惨たらしくない」ということは嘘だとすればそれは再婚する; void -> assump1: 以下のように仮定する。「そのみちょみにゃLv.27は防ぎ切れなくて惨たらしくない」ということは誤りだ; int1 & assump1 -> int2: そのみちょみにゃLv.27は再婚する; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__