以下のように仮定する。あのぽにょぽにLv.1は勇ましい
fact1: そのぴちょぴやLv.36は浅しない fact2: もしあのぽにょぽにLv.1が編纂するとするとそのぴちょぴやLv.36は浅し fact3: もしもそのぴちょぴやLv.36が編纂するとしたらあのぽにょぽにLv.1は浅し fact4: 仮にあのぽにょぽにLv.1が勇ましいとしたらあのぽにょぽにLv.1は編纂する
void -> assump1: 以下のように仮定する。あのぽにょぽにLv.1は勇ましい; fact4 & assump1 -> int1: あのぽにょぽにLv.1は編纂する; int1 & fact2 -> int2: そのぴちょぴやLv.36は浅し; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのぴちょぴやLv.36は浅しない fact2: もしあのぽにょぽにLv.1が編纂するとするとそのぴちょぴやLv.36は浅し fact3: もしもそのぴちょぴやLv.36が編纂するとしたらあのぽにょぽにLv.1は浅し fact4: 仮にあのぽにょぽにLv.1が勇ましいとしたらあのぽにょぽにLv.1は編纂する ; $hypothesis$ = 以下のように仮定する。あのぽにょぽにLv.1は勇ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽにょぽにLv.1は勇ましい; fact4 & assump1 -> int1: あのぽにょぽにLv.1は編纂する; int1 & fact2 -> int2: そのぴちょぴやLv.36は浅し; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__