みねみにLv.87事件が生じる
fact1: ブランドらしいということは馬鹿らしいということを引き起こす fact2: 仮に噴射することと平べったいということが生じればみねみにLv.87事件は発生しない fact3: 柔いということは噴射することのきっかけとなる fact4: 平べったいということが発生する fact5: 馬鹿らしいということは生じないし柔いということが起こる fact6: 馬鹿らしいということが生じるとすれば「平べったいということは発生するし噴射することは発生しない」ということは真実である
fact5 -> int1: 「柔いということが発生する」ということは成り立つ; fact3 & int1 -> int2: 噴射することが起こる; int2 & fact4 -> int3: 噴射することが起きるしかつ平べったいということが発生する; int3 & fact2 -> hypothesis;
fact5 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis;
みねみにLv.87事件が生じる
$facts$ = fact1: ブランドらしいということは馬鹿らしいということを引き起こす fact2: 仮に噴射することと平べったいということが生じればみねみにLv.87事件は発生しない fact3: 柔いということは噴射することのきっかけとなる fact4: 平べったいということが発生する fact5: 馬鹿らしいということは生じないし柔いということが起こる fact6: 馬鹿らしいということが生じるとすれば「平べったいということは発生するし噴射することは発生しない」ということは真実である ; $hypothesis$ = みねみにLv.87事件が生じる ; $proof$ = 
fact5 -> int1: 「柔いということが発生する」ということは成り立つ; fact3 & int1 -> int2: 噴射することが起こる; int2 & fact4 -> int3: 噴射することが起きるしかつ平べったいということが発生する; int3 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__