以下のように仮定する。たどたどしいということが生じる
fact1: 「みくみよLv.97事件が起こる」ということは成り立つ fact2: 張り巡らすことが生じる fact3: もしたどたどしいということが起きるし更に張り巡らすことが起こるとするとみくみよLv.97事件は起きない
void -> assump1: 以下のように仮定する。たどたどしいということが生じる; assump1 & fact2 -> int1: たどたどしいということと張り巡らすことが生じる; int1 & fact3 -> int2: みくみよLv.97事件は生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「みくみよLv.97事件が起こる」ということは成り立つ fact2: 張り巡らすことが生じる fact3: もしたどたどしいということが起きるし更に張り巡らすことが起こるとするとみくみよLv.97事件は起きない ; $hypothesis$ = 以下のように仮定する。たどたどしいということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。たどたどしいということが生じる; assump1 & fact2 -> int1: たどたどしいということと張り巡らすことが生じる; int1 & fact3 -> int2: みくみよLv.97事件は生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__