あのぴにゃぴちゃLv.97は消化し難くない
fact1: 仮に「あのぴにゃぴちゃLv.97は狙い難いけど破綻しない」ということは嘘であるとすればあのぴにゃぴくLv.35は消化し難い fact2: あのまにまくLv.39は軽し fact3: もし仮にあのぴにゃぴくLv.35が狙い難いが破綻しないとするとあのまにまくLv.39は軽しということはない fact4: もしもあのぴにゃぴくLv.35が軽しとするとあのまにまくLv.39は破綻する fact5: もしもとあるモンスターが軽しないとすると消化し難くない fact6: あのまにまくLv.39は狙い難い fact7: 「あのぴにゃぴくLv.35は狙い難い一方で破綻しない」ということは嘘であるならばあのぴにゃぴちゃLv.97は消化し難い
void -> assump1: 以下のように仮定する。あのぴにゃぴくLv.35は狙い難いけどそれは破綻しない; fact3 & assump1 -> int1: あのまにまくLv.39は軽しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぴにゃぴくLv.35は狙い難いがしかしそれは破綻しない」ということは嘘である; int3 & fact7 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}); int3 & fact7 -> hypothesis;
あのぴにゃぴちゃLv.97は消化し難くない
fact8 -> int4: 仮にあのぴにゃぴちゃLv.97が軽しないとすると消化し難くない;
$facts$ = fact1: 仮に「あのぴにゃぴちゃLv.97は狙い難いけど破綻しない」ということは嘘であるとすればあのぴにゃぴくLv.35は消化し難い fact2: あのまにまくLv.39は軽し fact3: もし仮にあのぴにゃぴくLv.35が狙い難いが破綻しないとするとあのまにまくLv.39は軽しということはない fact4: もしもあのぴにゃぴくLv.35が軽しとするとあのまにまくLv.39は破綻する fact5: もしもとあるモンスターが軽しないとすると消化し難くない fact6: あのまにまくLv.39は狙い難い fact7: 「あのぴにゃぴくLv.35は狙い難い一方で破綻しない」ということは嘘であるならばあのぴにゃぴちゃLv.97は消化し難い ; $hypothesis$ = あのぴにゃぴちゃLv.97は消化し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにゃぴくLv.35は狙い難いけどそれは破綻しない; fact3 & assump1 -> int1: あのまにまくLv.39は軽しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぴにゃぴくLv.35は狙い難いがしかしそれは破綻しない」ということは嘘である; int3 & fact7 -> hypothesis; __DISPROVED__
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}); int3 & fact7 -> hypothesis; __DISPROVED__