勝利することは起きない
fact1: ぷいぷくLv.36事件が起きないということは「保ち易いということと実行し易いということ両方が起きる」ということは契機だ fact2: 勝利することは起きないということは「笑殺することが起きるし付くことが起きる」ということにより生じる fact3: 見難いということと付くこと両方ともが起こる fact4: 笑殺することが起こる fact5: 付くことは起きないということは「実行し易いということが生じるし更に見難いということが起こる」ということに帰結する fact6: 見難いということが発生する fact7: 勝利することは「秘蔵することが起きる」ということに引き起こされる
fact3 -> int1: 付くことが発生する; int1 & fact4 -> int2: 笑殺することおよび付くことどちらもが起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis;
実行し易いということが発生する
$facts$ = fact1: ぷいぷくLv.36事件が起きないということは「保ち易いということと実行し易いということ両方が起きる」ということは契機だ fact2: 勝利することは起きないということは「笑殺することが起きるし付くことが起きる」ということにより生じる fact3: 見難いということと付くこと両方ともが起こる fact4: 笑殺することが起こる fact5: 付くことは起きないということは「実行し易いということが生じるし更に見難いということが起こる」ということに帰結する fact6: 見難いということが発生する fact7: 勝利することは「秘蔵することが起きる」ということに引き起こされる ; $hypothesis$ = 勝利することは起きない ; $proof$ = 
fact3 -> int1: 付くことが発生する; int1 & fact4 -> int2: 笑殺することおよび付くことどちらもが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis; __PROVED__