以下のように仮定する。あのぷねぷにLv.70は進め易い
fact1: あのぷねぷにLv.70が早いとしたらあのぷねぷにLv.70は落ち難い fact2: あのぷねぷにLv.70は落ち難くない fact3: あのぷねぷにLv.70が進め易いならば早い
void -> assump1: 以下のように仮定する。あのぷねぷにLv.70は進め易い; fact3 & assump1 -> int1: あのぷねぷにLv.70は早い; int1 & fact1 -> int2: あのぷねぷにLv.70は落ち難い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あのぷねぷにLv.70が早いとしたらあのぷねぷにLv.70は落ち難い fact2: あのぷねぷにLv.70は落ち難くない fact3: あのぷねぷにLv.70が進め易いならば早い ; $hypothesis$ = 以下のように仮定する。あのぷねぷにLv.70は進め易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷねぷにLv.70は進め易い; fact3 & assump1 -> int1: あのぷねぷにLv.70は早い; int1 & fact1 -> int2: あのぷねぷにLv.70は落ち難い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__