あのぴにゃぴちょLv.64は止む無くない
fact1: 「「このもわもちゃLv.26は平ったくない一方で厚し」ということは間違っている」ということは確かならば「あのぴにゃぴちょLv.64は止む無い」ということは確かだ fact2: もし仮になんらかのモンスターは物憂いということはないとすると「それは平ったくないが厚し」ということは誤りだ fact3: もし仮にこのぽのぽにゃLv.2が止む無いしまた思い遣るとすればあのぴにゃぴちょLv.64は止む無くない fact4: このもわもちゃLv.26は物憂くない fact5: 仮に「あのぴにゃぴちょLv.64は思い遣るが止む無くない」ということは成り立たないならこのもゆもえLv.42は止む無くない fact6: もし仮にこのもゆもえLv.42は止む無くないとしたら「「このもゆもえLv.42はし易くないがしかしそれは物憂い」ということは成り立たない」ということは真実だ
fact2 -> int1: 「もし仮にこのもわもちゃLv.26は物憂くないとしたら「このもわもちゃLv.26は平ったくない一方で厚し」ということは間違いだ」ということは確かだ; int1 & fact4 -> int2: 「このもわもちゃLv.26は平ったいということはないけれど厚し」ということは成り立たない; int2 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis;
「このもゆもえLv.42はし易くないが物憂い」ということは偽だ
$facts$ = fact1: 「「このもわもちゃLv.26は平ったくない一方で厚し」ということは間違っている」ということは確かならば「あのぴにゃぴちょLv.64は止む無い」ということは確かだ fact2: もし仮になんらかのモンスターは物憂いということはないとすると「それは平ったくないが厚し」ということは誤りだ fact3: もし仮にこのぽのぽにゃLv.2が止む無いしまた思い遣るとすればあのぴにゃぴちょLv.64は止む無くない fact4: このもわもちゃLv.26は物憂くない fact5: 仮に「あのぴにゃぴちょLv.64は思い遣るが止む無くない」ということは成り立たないならこのもゆもえLv.42は止む無くない fact6: もし仮にこのもゆもえLv.42は止む無くないとしたら「「このもゆもえLv.42はし易くないがしかしそれは物憂い」ということは成り立たない」ということは真実だ ; $hypothesis$ = あのぴにゃぴちょLv.64は止む無くない ; $proof$ = 
fact2 -> int1: 「もし仮にこのもわもちゃLv.26は物憂くないとしたら「このもわもちゃLv.26は平ったくない一方で厚し」ということは間違いだ」ということは確かだ; int1 & fact4 -> int2: 「このもわもちゃLv.26は平ったいということはないけれど厚し」ということは成り立たない; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis; __DISPROVED__