目的無しということが起きるがしかしぽにぽやLv.7事件は起こらない
fact1: もしも抜き難いということが起きるかまたは疚しいということが起こればぽくぽやLv.87事件は発生しない fact2: 「目的無しということが起きるがしかしぽにぽやLv.7事件は発生しない」ということは「ぽくぽやLv.87事件は起こらない」ということが原因だ fact3: 疚しいということが起きる fact4: 「ぽにぽやLv.7事件は起こらない」ということは「ぽくぽやLv.87事件は生じない」ということが契機である fact5: 「抜き難いということが生じる」ということはぽくぽやLv.87事件が生じるということを阻止する
fact3 -> int1: 抜き難いということが起きるか疚しいということが起こるか両方である; int1 & fact1 -> int2: ぽくぽやLv.87事件は発生しない; int2 & fact2 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: もしも抜き難いということが起きるかまたは疚しいということが起こればぽくぽやLv.87事件は発生しない fact2: 「目的無しということが起きるがしかしぽにぽやLv.7事件は発生しない」ということは「ぽくぽやLv.87事件は起こらない」ということが原因だ fact3: 疚しいということが起きる fact4: 「ぽにぽやLv.7事件は起こらない」ということは「ぽくぽやLv.87事件は生じない」ということが契機である fact5: 「抜き難いということが生じる」ということはぽくぽやLv.87事件が生じるということを阻止する ; $hypothesis$ = 目的無しということが起きるがしかしぽにぽやLv.7事件は起こらない ; $proof$ = 
fact3 -> int1: 抜き難いということが起きるか疚しいということが起こるか両方である; int1 & fact1 -> int2: ぽくぽやLv.87事件は発生しない; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> hypothesis; __PROVED__