考え深いということが生じる
fact1: 仮に無いということが生じるしぽにょぽにょLv.97事件が起きるとすると「考え深いということは起こらない」ということは真実だ fact2: ぽにょぽにょLv.97事件が発生する fact3: 無いということと弱々しいということが生じる
fact3 -> int1: 無いということが発生する; int1 & fact2 -> int2: 無いということおよびぽにょぽにょLv.97事件両方ともが発生する; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮に無いということが生じるしぽにょぽにょLv.97事件が起きるとすると「考え深いということは起こらない」ということは真実だ fact2: ぽにょぽにょLv.97事件が発生する fact3: 無いということと弱々しいということが生じる ; $hypothesis$ = 考え深いということが生じる ; $proof$ = 
fact3 -> int1: 無いということが発生する; int1 & fact2 -> int2: 無いということおよびぽにょぽにょLv.97事件両方ともが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__