みにゅみよLv.59事件が生じる
fact1: みにゅみよLv.59事件は脆いということにより生じる fact2: もし「ぽいぽくLv.5事件が起こらないしさらに擦り混ぜることは起きない」ということは成り立たないならぴくぴちょLv.21事件は発生しない fact3: 脆いということが起こる fact4: 仮にぴくぴちょLv.21事件が発生しないとすればみにゅみよLv.59事件は起きないしまよまのLv.45事件は発生しない fact5: もし仮に「まよまのLv.45事件が生じるし脆いということが起きる」ということは正しくないとしたらみにゅみよLv.59事件は起きない fact6: 仮に望ましいということが起こるなら「ぽいぽくLv.5事件が起こらないしまた擦り混ぜることは発生しない」ということは成り立つということはない fact7: まわまにゅLv.32事件が発生する
fact3 -> int1: 脆いということが起こる; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> hypothesis;
みにゅみよLv.59事件は起きない
$facts$ = fact1: みにゅみよLv.59事件は脆いということにより生じる fact2: もし「ぽいぽくLv.5事件が起こらないしさらに擦り混ぜることは起きない」ということは成り立たないならぴくぴちょLv.21事件は発生しない fact3: 脆いということが起こる fact4: 仮にぴくぴちょLv.21事件が発生しないとすればみにゅみよLv.59事件は起きないしまよまのLv.45事件は発生しない fact5: もし仮に「まよまのLv.45事件が生じるし脆いということが起きる」ということは正しくないとしたらみにゅみよLv.59事件は起きない fact6: 仮に望ましいということが起こるなら「ぽいぽくLv.5事件が起こらないしまた擦り混ぜることは発生しない」ということは成り立つということはない fact7: まわまにゅLv.32事件が発生する ; $hypothesis$ = みにゅみよLv.59事件が生じる ; $proof$ = 
fact3 -> int1: 脆いということが起こる; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__