あのまえまゆLv.12は猛々しくない
fact1: 仮になんらかのモンスターは貧しないとすれば「それは薄っぺらくない」ということは事実である fact2: もし仮にあのまえまゆLv.12が猛々しいとすればそのぽちゃぽえLv.86は凄まじい fact3: 薄っぺらくないモンスターは潔くない fact4: 仮にとあるモンスターは潔いということはないとすると「凄まじくないがしかし言い易い」ということは偽である fact5: そのぽちゃぽえLv.86は凄まじくない
void -> assump1: 以下のように仮定する。あのまえまゆLv.12は猛々しい; fact2 & assump1 -> int1: そのぽちゃぽえLv.86は凄まじい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
そのぴのぴにゅLv.75は猛々しくない
fact6 -> int3: もし仮に「あのまえまゆLv.12は潔くない」ということは真実だとすると「あのまえまゆLv.12は凄まじくないがしかし言い易い」ということは成り立つということはない; fact7 -> int4: もしあのまえまゆLv.12が薄っぺらくないならばあのまえまゆLv.12は潔くない; fact8 -> int5: もしもあのまえまゆLv.12が貧しないならあのまえまゆLv.12は薄っぺらいということはない;
$facts$ = fact1: 仮になんらかのモンスターは貧しないとすれば「それは薄っぺらくない」ということは事実である fact2: もし仮にあのまえまゆLv.12が猛々しいとすればそのぽちゃぽえLv.86は凄まじい fact3: 薄っぺらくないモンスターは潔くない fact4: 仮にとあるモンスターは潔いということはないとすると「凄まじくないがしかし言い易い」ということは偽である fact5: そのぽちゃぽえLv.86は凄まじくない ; $hypothesis$ = あのまえまゆLv.12は猛々しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまえまゆLv.12は猛々しい; fact2 & assump1 -> int1: そのぽちゃぽえLv.86は凄まじい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__