「もにゅもにLv.14事件が起きる」ということは正しい
fact1: ぴなぴちょLv.87事件が発生する fact2: 青黒いということが起こる fact3: 開山することは発生しないということは青黒いということに防がれる fact4: もし仮に開山することおよびぴなぴちょLv.87事件が起きればもにゅもにLv.14事件は起きない fact5: もしもものもえLv.9事件は起きないとすればもにゅもにLv.14事件が生じるしぽにぽやLv.94事件が起こる
fact3 & fact2 -> int1: 開山することが生じる; int1 & fact1 -> int2: 開山することとぴなぴちょLv.87事件どちらもが起こる; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
小汚いということが起こる
$facts$ = fact1: ぴなぴちょLv.87事件が発生する fact2: 青黒いということが起こる fact3: 開山することは発生しないということは青黒いということに防がれる fact4: もし仮に開山することおよびぴなぴちょLv.87事件が起きればもにゅもにLv.14事件は起きない fact5: もしもものもえLv.9事件は起きないとすればもにゅもにLv.14事件が生じるしぽにぽやLv.94事件が起こる ; $hypothesis$ = 「もにゅもにLv.14事件が起きる」ということは正しい ; $proof$ = 
fact3 & fact2 -> int1: 開山することが生じる; int1 & fact1 -> int2: 開山することとぴなぴちょLv.87事件どちらもが起こる; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __DISPROVED__