このぽちゃぽゆLv.28は防戦するということはない
fact1: このぷちゃぷにゃLv.13は暗くないか償却出来ないかどちらもだとすればそれは償却出来ない fact2: このもわもちゅLv.82が防戦すればこのぽちゃぽゆLv.28は防戦する fact3: そのみくみちゅLv.21は甚だしい fact4: もし仮にとあるモンスターが償却出来るとしたらこのぽちゃぽゆLv.28は防戦しないけど暗い fact5: そのぴやぴのLv.17は償却出来る
fact5 -> int1: 何らかのモンスターは償却出来る; int1 & fact4 -> int2: このぽちゃぽゆLv.28は防戦しないけれど暗い; int2 -> hypothesis;
fact5 -> int1: (Ex): {A}x; int1 & fact4 -> int2: (¬{C}{a} & {B}{a}); int2 -> hypothesis;
このぷちゃぷにゃLv.13は償却出来るということはないがそれは再輸出する
$facts$ = fact1: このぷちゃぷにゃLv.13は暗くないか償却出来ないかどちらもだとすればそれは償却出来ない fact2: このもわもちゅLv.82が防戦すればこのぽちゃぽゆLv.28は防戦する fact3: そのみくみちゅLv.21は甚だしい fact4: もし仮にとあるモンスターが償却出来るとしたらこのぽちゃぽゆLv.28は防戦しないけど暗い fact5: そのぴやぴのLv.17は償却出来る ; $hypothesis$ = このぽちゃぽゆLv.28は防戦するということはない ; $proof$ = 
fact5 -> int1: 何らかのモンスターは償却出来る; int1 & fact4 -> int2: このぽちゃぽゆLv.28は防戦しないけれど暗い; int2 -> hypothesis; __PROVED__
fact5 -> int1: (Ex): {A}x; int1 & fact4 -> int2: (¬{C}{a} & {B}{a}); int2 -> hypothesis; __PROVED__