このもねもねLv.10は抜き難くない
fact1: 仮に「このもにょもにLv.28は掛かり難いけどそれは共鳴し易くない」ということは成り立たないならこのもねもねLv.10は抜き難い fact2: このもにょもにLv.28は共鳴し易い
void -> assump1: 以下のように仮定する。このもにょもにLv.28は掛かり難いけれどそれは共鳴し易くない; assump1 -> int1: このもにょもにLv.28は共鳴し易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このもにょもにLv.28は掛かり難いけれど共鳴し易くない」ということは偽だ; int3 & fact1 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「このもにょもにLv.28は掛かり難いけどそれは共鳴し易くない」ということは成り立たないならこのもねもねLv.10は抜き難い fact2: このもにょもにLv.28は共鳴し易い ; $hypothesis$ = このもねもねLv.10は抜き難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このもにょもにLv.28は掛かり難いけれどそれは共鳴し易くない; assump1 -> int1: このもにょもにLv.28は共鳴し易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このもにょもにLv.28は掛かり難いけれど共鳴し易くない」ということは偽だ; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis; __DISPROVED__