そのぷのぷなLv.1は換価処分しない一方でそれは等分する
fact1: そのもちょもやLv.34は由々しくない fact2: もし仮にとあるモンスターが由々しいとしたら換価処分しなくてさらに等分する fact3: もし仮にこのみちょみよLv.50は換価処分するということはないとしたら「「そのぷのぷなLv.1は換価処分しないけれど等分する」ということは本当である」ということは正しくない fact4: このみちょみよLv.50は使用し易い fact5: もし仮に「あのぽちゅぽにょLv.66は言い辛くない一方で寒し」ということは成り立たないとすればこのみちょみよLv.50は傷付け易い fact6: もしそのもちょもやLv.34は傷付け易いとしたら「そのぷのぷなLv.1は由々しい」ということは事実だ fact7: 仮にこのみちょみよLv.50が傷付け易くて使用し易いとしたらこのみちょみよLv.50は換価処分するということはない fact8: 仮にそのもちょもやLv.34は由々しくないなら「あのぽちゅぽにょLv.66は言い辛くないが寒し」ということは間違いである
fact8 & fact1 -> int1: 「あのぽちゅぽにょLv.66は言い辛くないけれど寒し」ということは成り立たない; int1 & fact5 -> int2: このみちょみよLv.50は傷付け易い; int2 & fact4 -> int3: このみちょみよLv.50は傷付け易くて使用し易い; int3 & fact7 -> int4: このみちょみよLv.50は換価処分しない; int4 & fact3 -> hypothesis;
fact8 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact4 -> int3: ({B}{c} & {C}{c}); int3 & fact7 -> int4: ¬{D}{c}; int4 & fact3 -> hypothesis;
そのぷのぷなLv.1は換価処分しない一方でそれは等分する
fact9 -> int5: 仮にそのぷのぷなLv.1が由々しいとすればそのぷのぷなLv.1は換価処分しないけれど等分する;
$facts$ = fact1: そのもちょもやLv.34は由々しくない fact2: もし仮にとあるモンスターが由々しいとしたら換価処分しなくてさらに等分する fact3: もし仮にこのみちょみよLv.50は換価処分するということはないとしたら「「そのぷのぷなLv.1は換価処分しないけれど等分する」ということは本当である」ということは正しくない fact4: このみちょみよLv.50は使用し易い fact5: もし仮に「あのぽちゅぽにょLv.66は言い辛くない一方で寒し」ということは成り立たないとすればこのみちょみよLv.50は傷付け易い fact6: もしそのもちょもやLv.34は傷付け易いとしたら「そのぷのぷなLv.1は由々しい」ということは事実だ fact7: 仮にこのみちょみよLv.50が傷付け易くて使用し易いとしたらこのみちょみよLv.50は換価処分するということはない fact8: 仮にそのもちょもやLv.34は由々しくないなら「あのぽちゅぽにょLv.66は言い辛くないが寒し」ということは間違いである ; $hypothesis$ = そのぷのぷなLv.1は換価処分しない一方でそれは等分する ; $proof$ = 
fact8 & fact1 -> int1: 「あのぽちゅぽにょLv.66は言い辛くないけれど寒し」ということは成り立たない; int1 & fact5 -> int2: このみちょみよLv.50は傷付け易い; int2 & fact4 -> int3: このみちょみよLv.50は傷付け易くて使用し易い; int3 & fact7 -> int4: このみちょみよLv.50は換価処分しない; int4 & fact3 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact4 -> int3: ({B}{c} & {C}{c}); int3 & fact7 -> int4: ¬{D}{c}; int4 & fact3 -> hypothesis; __DISPROVED__