「「そのぽちょぽにLv.68は出会い易くて楽し」ということは間違っていない」ということは間違いだ
fact1: もしもなんらかのモンスターが可笑しないならばそれは出会い易いし楽し fact2: そのぽちょぽにLv.68は出会い易い fact3: すべてのモンスターは滑り難くない fact4: そのぽちょぽにLv.68は楽し fact5: あのぽのぽちょLv.23が滑り難くないかまたは近付き難くないかもしくはどちらもであるとしたらあのぽのぽちょLv.23は取り易くない fact6: 取り易いということはないモンスターは可笑しないけれど設置出来る
fact4 -> int1: そのぽちょぽにLv.68は楽し; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「「そのぽちょぽにLv.68は出会い易くて楽し」ということは間違っていない」ということは間違いだ
fact9 -> int2: 仮にあのぽのぽちょLv.23が取り易くないとすればそれは可笑しないしかつ設置出来る; fact8 -> int3: あのぽやぽえLv.63は滑り難くない; int3 -> int4: あのぽやぽえLv.63は滑り難いということはないかあるいは近付き難くないか両方ともだ; int4 -> int5: 全てのモンスターは滑り難くないかまたは近付き難くないかあるいは両方ともである; int5 -> int6: あのぽのぽちょLv.23は滑り難くないかもしくは近付き難くない; fact7 & int6 -> int7: あのぽのぽちょLv.23は取り易くない; int2 & int7 -> int8: あのぽのぽちょLv.23は可笑しないけれど設置出来る;
$facts$ = fact1: もしもなんらかのモンスターが可笑しないならばそれは出会い易いし楽し fact2: そのぽちょぽにLv.68は出会い易い fact3: すべてのモンスターは滑り難くない fact4: そのぽちょぽにLv.68は楽し fact5: あのぽのぽちょLv.23が滑り難くないかまたは近付き難くないかもしくはどちらもであるとしたらあのぽのぽちょLv.23は取り易くない fact6: 取り易いということはないモンスターは可笑しないけれど設置出来る ; $hypothesis$ = 「「そのぽちょぽにLv.68は出会い易くて楽し」ということは間違っていない」ということは間違いだ ; $proof$ = 
fact4 -> int1: そのぽちょぽにLv.68は楽し; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__