以下のように仮定する。そのまえまくLv.10は遅れ易い
fact1: もしそのまえまくLv.10は遅れ易いかもしくは埃っぽいとすると骨っぽいということはない fact2: そのぽなぽちゃLv.56は骨っぽい fact3: もしあるモンスターは埃っぽいということはないとすれば「「それは遅れ易くなくてかつ骨っぽくない」ということは事実だ」ということは事実と異なる fact4: もしとあるモンスターが合い難いということはないならばそれは遅れ易くて更にそれは厚し fact5: もし仮になにがしかのモンスターは遅れ易いなら「それは埃っぽいけど骨っぽいということはない」ということは成り立たない fact6: もし仮に「あるモンスターは埃っぽいけれど骨っぽくない」ということは成り立たないとすれば埃っぽくない fact7: そのまえまくLv.10は骨っぽい
void -> assump1: 以下のように仮定する。そのまえまくLv.10は遅れ易い; assump1 -> int1: そのまえまくLv.10は遅れ易いか埃っぽいかもしくは両方だ; int1 & fact1 -> int2: そのまえまくLv.10は骨っぽくない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
このまちゅまなLv.49は埃っぽくない
fact10 -> int4: そのまえまくLv.10が合い難くないならそのまえまくLv.10は遅れ易くて厚し; fact9 -> int5: もし仮にこのまちゅまなLv.49は遅れ易いなら「このまちゅまなLv.49は埃っぽいけどそれは骨っぽくない」ということは成り立つということはない; fact8 -> int6: もし仮に「このまちゅまなLv.49は埃っぽいけど骨っぽくない」ということは事実と異なれば「このまちゅまなLv.49は埃っぽくない」ということは正しい;
$facts$ = fact1: もしそのまえまくLv.10は遅れ易いかもしくは埃っぽいとすると骨っぽいということはない fact2: そのぽなぽちゃLv.56は骨っぽい fact3: もしあるモンスターは埃っぽいということはないとすれば「「それは遅れ易くなくてかつ骨っぽくない」ということは事実だ」ということは事実と異なる fact4: もしとあるモンスターが合い難いということはないならばそれは遅れ易くて更にそれは厚し fact5: もし仮になにがしかのモンスターは遅れ易いなら「それは埃っぽいけど骨っぽいということはない」ということは成り立たない fact6: もし仮に「あるモンスターは埃っぽいけれど骨っぽくない」ということは成り立たないとすれば埃っぽくない fact7: そのまえまくLv.10は骨っぽい ; $hypothesis$ = 以下のように仮定する。そのまえまくLv.10は遅れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまえまくLv.10は遅れ易い; assump1 -> int1: そのまえまくLv.10は遅れ易いか埃っぽいかもしくは両方だ; int1 & fact1 -> int2: そのまえまくLv.10は骨っぽくない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__