あのぽにぽにょLv.77は把握し難くない
fact1: もしもあるモンスターはＯＢ臭いならば「把握し難い」ということは成り立つ fact2: そのぽなぽやLv.9はＯＢ臭くない fact3: もし仮にあのぽにぽにょLv.77は把握し難いとしたら「そのぽなぽやLv.9はＯＢ臭い」ということは間違いでない fact4: そのぽなぽやLv.9は起き易いか受け入れ易いかどちらもだ fact5: もし仮にそのぽなぽやLv.9が御濃いとすればそのぽなぽやLv.9は旨い
void -> assump1: 以下のように仮定する。あのぽにぽにょLv.77は把握し難い; fact3 & assump1 -> int1: そのぽなぽやLv.9はＯＢ臭い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。あのぽにぽにょLv.77は把握し難い
fact7 -> int3: もしも「あのぽにぽにょLv.77はＯＢ臭い」ということは確かだとすればあのぽにぽにょLv.77は把握し難い;
$facts$ = fact1: もしもあるモンスターはＯＢ臭いならば「把握し難い」ということは成り立つ fact2: そのぽなぽやLv.9はＯＢ臭くない fact3: もし仮にあのぽにぽにょLv.77は把握し難いとしたら「そのぽなぽやLv.9はＯＢ臭い」ということは間違いでない fact4: そのぽなぽやLv.9は起き易いか受け入れ易いかどちらもだ fact5: もし仮にそのぽなぽやLv.9が御濃いとすればそのぽなぽやLv.9は旨い ; $hypothesis$ = あのぽにぽにょLv.77は把握し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽにぽにょLv.77は把握し難い; fact3 & assump1 -> int1: そのぽなぽやLv.9はＯＢ臭い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__