「「そのぷいぷいLv.99は図々しいし重い」ということは成り立つ」ということは成り立たない
fact1: もしもそのぽにぽよLv.19が如何わしいならそのぷいぷいLv.99は図々しい fact2: 浅いモンスターは毛深い fact3: 仮に「そのぽにぽよLv.19は守り易くないがしかし幼し」ということは嘘であるとすればそれは如何わしい fact4: もし仮にとあるモンスターは浅くないとしたら「それが図々しいしその上それは重い」ということは誤っている fact5: もしそのぽにぽよLv.19が守り易いならばそのぽにぽよLv.19は如何わしい fact6: そのぷいぷいLv.99は重い fact7: そのぽにぽよLv.19が図々しいとしたらそのぷいぷいLv.99は幼し fact8: もし仮にあるモンスターは浅くないとすれば「守り易いということはないけれど幼し」ということは間違っている fact9: そのぽにぽよLv.19は浅くない
fact8 -> int1: そのぽにぽよLv.19は浅くないとすると「そのぽにぽよLv.19は守り易くないけれどそれは幼し」ということは本当でない; int1 & fact9 -> int2: 「そのぽにぽよLv.19は守り易くないけどそれは幼し」ということは真実でない; int2 & fact3 -> int3: そのぽにぽよLv.19は如何わしい; int3 & fact1 -> int4: そのぷいぷいLv.99は図々しい; int4 & fact6 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact9 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> int3: {B}{aa}; int3 & fact1 -> int4: {C}{a}; int4 & fact6 -> hypothesis;
あのぽゆぽゆLv.49は毛深いしさらにパンクする
fact10 -> int5: もし仮にあのぽゆぽゆLv.49が浅いとしたらあのぽゆぽゆLv.49は毛深い;
$facts$ = fact1: もしもそのぽにぽよLv.19が如何わしいならそのぷいぷいLv.99は図々しい fact2: 浅いモンスターは毛深い fact3: 仮に「そのぽにぽよLv.19は守り易くないがしかし幼し」ということは嘘であるとすればそれは如何わしい fact4: もし仮にとあるモンスターは浅くないとしたら「それが図々しいしその上それは重い」ということは誤っている fact5: もしそのぽにぽよLv.19が守り易いならばそのぽにぽよLv.19は如何わしい fact6: そのぷいぷいLv.99は重い fact7: そのぽにぽよLv.19が図々しいとしたらそのぷいぷいLv.99は幼し fact8: もし仮にあるモンスターは浅くないとすれば「守り易いということはないけれど幼し」ということは間違っている fact9: そのぽにぽよLv.19は浅くない ; $hypothesis$ = 「「そのぷいぷいLv.99は図々しいし重い」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact8 -> int1: そのぽにぽよLv.19は浅くないとすると「そのぽにぽよLv.19は守り易くないけれどそれは幼し」ということは本当でない; int1 & fact9 -> int2: 「そのぽにぽよLv.19は守り易くないけどそれは幼し」ということは真実でない; int2 & fact3 -> int3: そのぽにぽよLv.19は如何わしい; int3 & fact1 -> int4: そのぷいぷいLv.99は図々しい; int4 & fact6 -> hypothesis; __DISPROVED__
fact8 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact9 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> int3: {B}{aa}; int3 & fact1 -> int4: {C}{a}; int4 & fact6 -> hypothesis; __DISPROVED__