仮にもちょもなLv.83事件が起これば小屋することが起こる
fact1: 「小屋することかもしくはぴにゃぴわLv.96事件かあるいは両方が起こる」ということは真実でないとしたら歩き辛いということは起きない fact2: 歩き辛いということは起きないということはもちょもなLv.83事件に阻まれる fact3: 小屋することが歩き辛いということは契機だ fact4: 微調整出来ることが生じる fact5: もし歩き辛いということは生じないとすると得難しということが生じるしさらにもちょもなLv.83事件が生じる
void -> assump1: 以下のように仮定する。もちょもなLv.83事件が起こる; fact2 & assump1 -> int1: 「歩き辛いということが発生する」ということは確かである; int1 & fact3 -> int2: 小屋することが発生する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis;
得難しということが起きる
$facts$ = fact1: 「小屋することかもしくはぴにゃぴわLv.96事件かあるいは両方が起こる」ということは真実でないとしたら歩き辛いということは起きない fact2: 歩き辛いということは起きないということはもちょもなLv.83事件に阻まれる fact3: 小屋することが歩き辛いということは契機だ fact4: 微調整出来ることが生じる fact5: もし歩き辛いということは生じないとすると得難しということが生じるしさらにもちょもなLv.83事件が生じる ; $hypothesis$ = 仮にもちょもなLv.83事件が起これば小屋することが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。もちょもなLv.83事件が起こる; fact2 & assump1 -> int1: 「歩き辛いということが発生する」ということは確かである; int1 & fact3 -> int2: 小屋することが発生する; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact3 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__