みやみにゅLv.2事件が発生する
fact1: もし「みやみにゅLv.2事件が生じるしかつぴいぴわLv.99事件が生じる」ということは間違っていればみやみにゅLv.2事件は起きない fact2: ぴいぴわLv.99事件はみにゃみなLv.47事件の原因となる fact3: もし仮にぴいぴわLv.99事件は起きないならば「もいもいLv.91事件が生じるし甘辛いということは起こらない」ということは成り立たない fact4: もいもいLv.91事件とぴいぴわLv.99事件が起こる fact5: みにゃみなLv.47事件は「みやみにゅLv.2事件は起きない」ということを阻止する fact6: 仮に「もいもいLv.91事件が生じるけど甘辛いということは起きない」ということは成り立たないとすれば「甘辛いということが生じる」ということは事実である
fact4 -> int1: ぴいぴわLv.99事件が発生する; int1 & fact2 -> int2: みにゃみなLv.47事件が起きる; int2 & fact5 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis;
甘辛いということが起きる
$facts$ = fact1: もし「みやみにゅLv.2事件が生じるしかつぴいぴわLv.99事件が生じる」ということは間違っていればみやみにゅLv.2事件は起きない fact2: ぴいぴわLv.99事件はみにゃみなLv.47事件の原因となる fact3: もし仮にぴいぴわLv.99事件は起きないならば「もいもいLv.91事件が生じるし甘辛いということは起こらない」ということは成り立たない fact4: もいもいLv.91事件とぴいぴわLv.99事件が起こる fact5: みにゃみなLv.47事件は「みやみにゅLv.2事件は起きない」ということを阻止する fact6: 仮に「もいもいLv.91事件が生じるけど甘辛いということは起きない」ということは成り立たないとすれば「甘辛いということが生じる」ということは事実である ; $hypothesis$ = みやみにゅLv.2事件が発生する ; $proof$ = 
fact4 -> int1: ぴいぴわLv.99事件が発生する; int1 & fact2 -> int2: みにゃみなLv.47事件が起きる; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__