「あのもにもにょLv.63は探し易いし更に伝え易い」ということは間違いである
fact1: 仮に「あるモンスターは生まれ易くないが起こり難い」ということは間違っているなら「それは敢え無い」ということは事実である fact2: 起こり難くないモンスターは敢え無い fact3: もし仮にあのみやみよLv.20が疲労し易いとするとあのもにもにょLv.63は探し易い fact4: もしも何らかのモンスターが入坑するということはないならそれは疲労し易いということはなくて敢え無くない fact5: なにがしかのモンスターは疲労し易くないとすれば「探し易いし加えて伝え易い」ということは本当でない fact6: 仮にあのみやみよLv.20は敢え無いなら「あのみやみよLv.20は疲労し易い」ということは確かである fact7: あのもにもにょLv.63は伝え易い fact8: あのみやみよLv.20が起こり難いということはないとしたらあのみやみよLv.20は敢え無い fact9: 「あのみやみよLv.20は生まれ易くない一方で起こり難い」ということは事実と異なる
fact1 -> int1: もしも「「あのみやみよLv.20は生まれ易くないけど起こり難い」ということは間違いだ」ということは確かであるとするとあのみやみよLv.20は敢え無い; int1 & fact9 -> int2: あのみやみよLv.20は敢え無い; int2 & fact6 -> int3: あのみやみよLv.20は疲労し易い; int3 & fact3 -> int4: 「あのもにもにょLv.63は探し易い」ということは成り立つ; int4 & fact7 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact9 -> int2: {B}{aa}; int2 & fact6 -> int3: {A}{aa}; int3 & fact3 -> int4: {C}{a}; int4 & fact7 -> hypothesis;
「あのもにもにょLv.63は探し易いし更に伝え易い」ということは間違いである
fact11 -> int5: そのみよみくLv.41は疲労し易いということはないならば「「そのみよみくLv.41は探し易くて伝え易い」ということは事実である」ということは間違いだ; fact10 -> int6: もし「あのぽねぽにょLv.49は入坑しない」ということは真実だとしたらそれは疲労し易くなくてその上敢え無くない;
$facts$ = fact1: 仮に「あるモンスターは生まれ易くないが起こり難い」ということは間違っているなら「それは敢え無い」ということは事実である fact2: 起こり難くないモンスターは敢え無い fact3: もし仮にあのみやみよLv.20が疲労し易いとするとあのもにもにょLv.63は探し易い fact4: もしも何らかのモンスターが入坑するということはないならそれは疲労し易いということはなくて敢え無くない fact5: なにがしかのモンスターは疲労し易くないとすれば「探し易いし加えて伝え易い」ということは本当でない fact6: 仮にあのみやみよLv.20は敢え無いなら「あのみやみよLv.20は疲労し易い」ということは確かである fact7: あのもにもにょLv.63は伝え易い fact8: あのみやみよLv.20が起こり難いということはないとしたらあのみやみよLv.20は敢え無い fact9: 「あのみやみよLv.20は生まれ易くない一方で起こり難い」ということは事実と異なる ; $hypothesis$ = 「あのもにもにょLv.63は探し易いし更に伝え易い」ということは間違いである ; $proof$ = 
fact1 -> int1: もしも「「あのみやみよLv.20は生まれ易くないけど起こり難い」ということは間違いだ」ということは確かであるとするとあのみやみよLv.20は敢え無い; int1 & fact9 -> int2: あのみやみよLv.20は敢え無い; int2 & fact6 -> int3: あのみやみよLv.20は疲労し易い; int3 & fact3 -> int4: 「あのもにもにょLv.63は探し易い」ということは成り立つ; int4 & fact7 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact9 -> int2: {B}{aa}; int2 & fact6 -> int3: {A}{aa}; int3 & fact3 -> int4: {C}{a}; int4 & fact7 -> hypothesis; __DISPROVED__