以下のように仮定する。そのもくもねLv.74は重苦しい
fact1: 「このぴちょぴにゃLv.91は重苦しい」ということは事実だとすればそのもくもねLv.74はちょろい fact2: そのもくもねLv.74が重苦しいとすればこのぴちょぴにゃLv.91はちょろい fact3: このぴちょぴにゃLv.91は得易くない fact4: もし仮にこのぴちょぴにゃLv.91がちょろいとするとこのぴちょぴにゃLv.91は得易い
void -> assump1: 以下のように仮定する。そのもくもねLv.74は重苦しい; fact2 & assump1 -> int1: このぴちょぴにゃLv.91はちょろい; int1 & fact4 -> int2: このぴちょぴにゃLv.91は得易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「このぴちょぴにゃLv.91は重苦しい」ということは事実だとすればそのもくもねLv.74はちょろい fact2: そのもくもねLv.74が重苦しいとすればこのぴちょぴにゃLv.91はちょろい fact3: このぴちょぴにゃLv.91は得易くない fact4: もし仮にこのぴちょぴにゃLv.91がちょろいとするとこのぴちょぴにゃLv.91は得易い ; $hypothesis$ = 以下のように仮定する。そのもくもねLv.74は重苦しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもくもねLv.74は重苦しい; fact2 & assump1 -> int1: このぴちょぴにゃLv.91はちょろい; int1 & fact4 -> int2: このぴちょぴにゃLv.91は得易い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__