以下のように仮定する。このもゆもわLv.10は惨めったらしい
fact1: そのぽのぽにゃLv.57は黒っぽくない fact2: このぷちゃぷにゃLv.29が意地悪いならば降参するしそれは黒っぽいということはない fact3: もしこのもゆもわLv.10が行き掛けるとするとそのぽのぽにゃLv.57は黒っぽい fact4: このもゆもわLv.10が惨めったらしいとするとこのもゆもわLv.10は行き掛ける fact5: 黒っぽくないモンスターは惨めったらしいし更に行き掛ける
void -> assump1: 以下のように仮定する。このもゆもわLv.10は惨めったらしい; fact4 & assump1 -> int1: 「このもゆもわLv.10は行き掛ける」ということは嘘でない; int1 & fact3 -> int2: そのぽのぽにゃLv.57は黒っぽい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
「このぷちゃぷにゃLv.29は行き掛ける」ということは成り立つ
fact6 -> int4: 仮にこのぷちゃぷにゃLv.29が黒っぽくないならばそれは惨めったらしいし行き掛ける;
$facts$ = fact1: そのぽのぽにゃLv.57は黒っぽくない fact2: このぷちゃぷにゃLv.29が意地悪いならば降参するしそれは黒っぽいということはない fact3: もしこのもゆもわLv.10が行き掛けるとするとそのぽのぽにゃLv.57は黒っぽい fact4: このもゆもわLv.10が惨めったらしいとするとこのもゆもわLv.10は行き掛ける fact5: 黒っぽくないモンスターは惨めったらしいし更に行き掛ける ; $hypothesis$ = 以下のように仮定する。このもゆもわLv.10は惨めったらしい ; $proof$ = 
void -> assump1: 以下のように仮定する。このもゆもわLv.10は惨めったらしい; fact4 & assump1 -> int1: 「このもゆもわLv.10は行き掛ける」ということは嘘でない; int1 & fact3 -> int2: そのぽのぽにゃLv.57は黒っぽい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__