「働き難いということが発生する」ということは成り立つ
fact1: もし馬鹿らしいということが発生するしさらにずば抜けることは起きれば働き難いということは起きない fact2: ぷわぷなLv.64事件が起こる fact3: 馬鹿らしいということが生じる fact4: ずば抜けることは発生しないということはぷわぷなLv.64事件に阻止される
fact4 & fact2 -> int1: ずば抜けることが起こる; int1 & fact3 -> int2: 馬鹿らしいということが生じるしその上ずば抜けることが発生する; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし馬鹿らしいということが発生するしさらにずば抜けることは起きれば働き難いということは起きない fact2: ぷわぷなLv.64事件が起こる fact3: 馬鹿らしいということが生じる fact4: ずば抜けることは発生しないということはぷわぷなLv.64事件に阻止される ; $hypothesis$ = 「働き難いということが発生する」ということは成り立つ ; $proof$ = 
fact4 & fact2 -> int1: ずば抜けることが起こる; int1 & fact3 -> int2: 馬鹿らしいということが生じるしその上ずば抜けることが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis; __DISPROVED__