「このぷにゅぷゆLv.33は懐かしかまたは結び付き易いかまたは両方である」ということは真実であるということはない
fact1: そのぴにゅぴわLv.10は拙い fact2: もしこのぷにゅぷゆLv.33が拙くないけど結び付き易いとしたらそのぴにゅぴやLv.88は結び付き易い fact3: このぷにゅぷゆLv.33は拙い fact4: このぷにゅぷゆLv.33が拙いとしたらこのぷにゅぷゆLv.33は結び付き易い fact5: もしもなにがしかのモンスターは拙くないならば「それは懐かしかまたは結び付き易いかまたは両方だ」ということは間違いである
fact4 & fact3 -> int1: このぷにゅぷゆLv.33は結び付き易い; int1 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 -> hypothesis;
そのぴにゅぴやLv.88は結び付き易い
$facts$ = fact1: そのぴにゅぴわLv.10は拙い fact2: もしこのぷにゅぷゆLv.33が拙くないけど結び付き易いとしたらそのぴにゅぴやLv.88は結び付き易い fact3: このぷにゅぷゆLv.33は拙い fact4: このぷにゅぷゆLv.33が拙いとしたらこのぷにゅぷゆLv.33は結び付き易い fact5: もしもなにがしかのモンスターは拙くないならば「それは懐かしかまたは結び付き易いかまたは両方だ」ということは間違いである ; $hypothesis$ = 「このぷにゅぷゆLv.33は懐かしかまたは結び付き易いかまたは両方である」ということは真実であるということはない ; $proof$ = 
fact4 & fact3 -> int1: このぷにゅぷゆLv.33は結び付き易い; int1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{a}; int1 -> hypothesis; __DISPROVED__