「あるモンスターはレベルダウンするしそれに熱苦しい」ということは嘘である
fact1: そのぷにゃぷいLv.98はレベルダウンする fact2: 「立て難いということはないモンスターは田舎っぽいかもしくはレベルダウンするかあるいはどちらもだ」ということは本当だ fact3: このもちゅもゆLv.14は際限無くて飛ぶ fact4: もし仮にそのぷにゃぷいLv.98は田舎っぽいなら「このぷにょぷちゃLv.15は田舎っぽい」ということは真実である fact5: そのぷにゃぷいLv.98は熱苦しい fact6: すべてのモンスターは立て難くなくてそれは乗り損なう
fact1 & fact5 -> int1: そのぷにゃぷいLv.98はレベルダウンするし熱苦しい; int1 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
このぷにょぷちゃLv.15は田舎っぽいし更に熱苦しい
fact7 -> int2: あのぷよぷにLv.4は立て難くないがしかし乗り損なう; int2 -> int3: あのぷよぷにLv.4は立て難いということはない; int3 -> int4: あらゆるモンスターは立て難くない; int4 -> int5: そのぷにゃぷいLv.98は立て難くない; fact8 -> int6: もしもそのぷにゃぷいLv.98が立て難くないならば田舎っぽいかあるいはレベルダウンするかまたはどちらもである; int5 & int6 -> int7: そのぷにゃぷいLv.98は田舎っぽいかあるいはレベルダウンする;
$facts$ = fact1: そのぷにゃぷいLv.98はレベルダウンする fact2: 「立て難いということはないモンスターは田舎っぽいかもしくはレベルダウンするかあるいはどちらもだ」ということは本当だ fact3: このもちゅもゆLv.14は際限無くて飛ぶ fact4: もし仮にそのぷにゃぷいLv.98は田舎っぽいなら「このぷにょぷちゃLv.15は田舎っぽい」ということは真実である fact5: そのぷにゃぷいLv.98は熱苦しい fact6: すべてのモンスターは立て難くなくてそれは乗り損なう ; $hypothesis$ = 「あるモンスターはレベルダウンするしそれに熱苦しい」ということは嘘である ; $proof$ = 
fact1 & fact5 -> int1: そのぷにゃぷいLv.98はレベルダウンするし熱苦しい; int1 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis; __DISPROVED__