ぽちゅぽにょLv.82事件は起こらない
fact1: ぽにょぽよLv.19事件が生じなくてしかもまくまにょLv.63事件は発生しない fact2: 多給することは生じないならば「馬鹿らしいということが起こる一方でぽちゅぽにょLv.82事件は起きない」ということは間違っている fact3: 「ぽにょぽよLv.19事件が起こらないしそれにまくまにょLv.63事件は起こらない」ということは「馬鹿らしいということが発生する」ということを生じさせる fact4: もし馬鹿らしいということは起こらないとすれば飲み易いということが起きるしかつもにゅもねLv.99事件が起きる fact5: まくまにょLv.63事件は起きない fact6: もにゅもねLv.99事件が発生する fact7: 気高いということが発生する fact8: ぷねぷねLv.36事件は起きない fact9: もにゅもねLv.99事件および馬鹿らしいということが起きるは「ぽちゅぽにょLv.82事件は起こらない」ということを招く
fact3 & fact1 -> int1: 馬鹿らしいということが生じる; int1 & fact6 -> int2: もにゅもねLv.99事件が起こるしその上馬鹿らしいということが生じる; int2 & fact9 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 & fact6 -> int2: ({A} & {B}); int2 & fact9 -> hypothesis;
飲み易いということが生じる
$facts$ = fact1: ぽにょぽよLv.19事件が生じなくてしかもまくまにょLv.63事件は発生しない fact2: 多給することは生じないならば「馬鹿らしいということが起こる一方でぽちゅぽにょLv.82事件は起きない」ということは間違っている fact3: 「ぽにょぽよLv.19事件が起こらないしそれにまくまにょLv.63事件は起こらない」ということは「馬鹿らしいということが発生する」ということを生じさせる fact4: もし馬鹿らしいということは起こらないとすれば飲み易いということが起きるしかつもにゅもねLv.99事件が起きる fact5: まくまにょLv.63事件は起きない fact6: もにゅもねLv.99事件が発生する fact7: 気高いということが発生する fact8: ぷねぷねLv.36事件は起きない fact9: もにゅもねLv.99事件および馬鹿らしいということが起きるは「ぽちゅぽにょLv.82事件は起こらない」ということを招く ; $hypothesis$ = ぽちゅぽにょLv.82事件は起こらない ; $proof$ = 
fact3 & fact1 -> int1: 馬鹿らしいということが生じる; int1 & fact6 -> int2: もにゅもねLv.99事件が起こるしその上馬鹿らしいということが生じる; int2 & fact9 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}; int1 & fact6 -> int2: ({A} & {B}); int2 & fact9 -> hypothesis; __PROVED__