そのまやまよLv.27は競うということはない
fact1: もしも「あのみちゃみやLv.64は着易くないかもしくは輝き渡るか両方ともだ」ということは成り立たないとするとこのぴわぴえLv.50は生成し易いということはない fact2: 仮にこのぴわぴえLv.50が倍増するならそのまやまよLv.27は競う fact3: それは着易くないかもしくは輝き渡るか両方であるというモンスターはない fact4: もしこのぴわぴえLv.50が生成し易くないとするとこのぴわぴえLv.50は枝分かれするし更に倍増する fact5: もしもなにがしかのモンスターは倍増しないとしたら「それは枝分かれするし更にそれは生成し易い」ということは成り立つということはない
fact3 -> int1: 「「あのみちゃみやLv.64は着易くないかもしくはそれは輝き渡る」ということは成り立つ」ということは偽である; int1 & fact1 -> int2: このぴわぴえLv.50は生成し易くない; int2 & fact4 -> int3: このぴわぴえLv.50は枝分かれするしさらに倍増する; int3 -> int4: このぴわぴえLv.50は倍増する; int4 & fact2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact1 -> int2: ¬{A}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 -> int4: {C}{a}; int4 & fact2 -> hypothesis;
そのまやまよLv.27は競うということはない
fact6 -> int5: もし仮にこのぴわぴえLv.50は倍増しないとしたら「枝分かれするし生成し易い」ということは成り立たない;
$facts$ = fact1: もしも「あのみちゃみやLv.64は着易くないかもしくは輝き渡るか両方ともだ」ということは成り立たないとするとこのぴわぴえLv.50は生成し易いということはない fact2: 仮にこのぴわぴえLv.50が倍増するならそのまやまよLv.27は競う fact3: それは着易くないかもしくは輝き渡るか両方であるというモンスターはない fact4: もしこのぴわぴえLv.50が生成し易くないとするとこのぴわぴえLv.50は枝分かれするし更に倍増する fact5: もしもなにがしかのモンスターは倍増しないとしたら「それは枝分かれするし更にそれは生成し易い」ということは成り立つということはない ; $hypothesis$ = そのまやまよLv.27は競うということはない ; $proof$ = 
fact3 -> int1: 「「あのみちゃみやLv.64は着易くないかもしくはそれは輝き渡る」ということは成り立つ」ということは偽である; int1 & fact1 -> int2: このぴわぴえLv.50は生成し易くない; int2 & fact4 -> int3: このぴわぴえLv.50は枝分かれするしさらに倍増する; int3 -> int4: このぴわぴえLv.50は倍増する; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact1 -> int2: ¬{A}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 -> int4: {C}{a}; int4 & fact2 -> hypothesis; __DISPROVED__