「あのぷなぷねLv.58は与し易い」ということは正しい
fact1: 仮に「あのぷなぷねLv.58は由々ししランクインする」ということは成り立たないならば由々しない fact2: 「歩き辛くないしかつ由々し」モンスターはいる fact3: 「もし仮にあのみちゅみにLv.60がランクインするということはないとしたらあのぷなぷねLv.58は与し易くない」ということは正しい fact4: もしも何らかのモンスターが歩き辛いということはないがしかしそれが由々しならばこのぽにぽゆLv.31はランクインする fact5: 仮にこのぽにぽゆLv.31がランクインすればあのみちゅみにLv.60は奉仕するかそれはランクインしない fact6: もしもあのみちゅみにLv.60が奉仕するならあのぷなぷねLv.58は与し易いということはない fact7: 由々しということはないモンスターは与し易いしまた歩き辛い
fact2 & fact4 -> int1: このぽにぽゆLv.31はランクインする; int1 & fact5 -> int2: あのみちゅみにLv.60は奉仕するかまたはランクインするということはない; int2 & fact6 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {C}{a}; int1 & fact5 -> int2: ({D}{b} v ¬{C}{b}); int2 & fact6 & fact3 -> hypothesis;
「あのぷなぷねLv.58は与し易い」ということは正しい
fact9 -> int3: もしも「あのぷなぷねLv.58は由々しない」ということは誤っていないならば与し易くてそれは歩き辛い;
$facts$ = fact1: 仮に「あのぷなぷねLv.58は由々ししランクインする」ということは成り立たないならば由々しない fact2: 「歩き辛くないしかつ由々し」モンスターはいる fact3: 「もし仮にあのみちゅみにLv.60がランクインするということはないとしたらあのぷなぷねLv.58は与し易くない」ということは正しい fact4: もしも何らかのモンスターが歩き辛いということはないがしかしそれが由々しならばこのぽにぽゆLv.31はランクインする fact5: 仮にこのぽにぽゆLv.31がランクインすればあのみちゅみにLv.60は奉仕するかそれはランクインしない fact6: もしもあのみちゅみにLv.60が奉仕するならあのぷなぷねLv.58は与し易いということはない fact7: 由々しということはないモンスターは与し易いしまた歩き辛い ; $hypothesis$ = 「あのぷなぷねLv.58は与し易い」ということは正しい ; $proof$ = 
fact2 & fact4 -> int1: このぽにぽゆLv.31はランクインする; int1 & fact5 -> int2: あのみちゅみにLv.60は奉仕するかまたはランクインするということはない; int2 & fact6 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {C}{a}; int1 & fact5 -> int2: ({D}{b} v ¬{C}{b}); int2 & fact6 & fact3 -> hypothesis; __DISPROVED__