「このまなまゆLv.12は来難いがしかし進め易くない」ということは誤っている
fact1: このまなまゆLv.12が運転し易くないならこのまなまゆLv.12は来難いがしかし進め易くない fact2: 仮にこのまなまゆLv.12が運転し易いならそれは素人っぽい fact3: このまなまゆLv.12は素人っぽくない fact4: もしなんらかのモンスターが出血し易いとするとそれは来難いしさらにそれは進め易くない
void -> assump1: 以下のように仮定する。このまなまゆLv.12は運転し易い; fact2 & assump1 -> int1: このまなまゆLv.12は素人っぽい; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまなまゆLv.12は運転し易くない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
そのぷちゃぷわLv.14は運転し易い
fact5 -> int4: もしもそのぷちゃぷわLv.14が出血し易いとするとそのぷちゃぷわLv.14は来難いが進め易いということはない;
$facts$ = fact1: このまなまゆLv.12が運転し易くないならこのまなまゆLv.12は来難いがしかし進め易くない fact2: 仮にこのまなまゆLv.12が運転し易いならそれは素人っぽい fact3: このまなまゆLv.12は素人っぽくない fact4: もしなんらかのモンスターが出血し易いとするとそれは来難いしさらにそれは進め易くない ; $hypothesis$ = 「このまなまゆLv.12は来難いがしかし進め易くない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。このまなまゆLv.12は運転し易い; fact2 & assump1 -> int1: このまなまゆLv.12は素人っぽい; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまなまゆLv.12は運転し易くない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__