「みゆみわLv.57事件は生じないかあるいは人間らしいということは起こらない」ということは成り立たない
fact1: 再婚することは起きないとすればぴねぴのLv.45事件および手緩いということが起きる fact2: 手緩いということが起きる fact3: 仮に「打ち易いということが起こる」ということは真実であるとしたら「みにゅみやLv.61事件が起こるし上げ易いということは生じない」ということは間違いだ fact4: もしも手緩いということは起きないなら「みゆみわLv.57事件は起きないか人間らしいということは起こらないかあるいはどちらもである」ということは誤っている fact5: もし仮に「上げ易いということが生じる」ということは正しいとすると「みゆみわLv.57事件が生じるが人間らしいということは生じない」ということは成り立たない fact6: 人間らしいということは起こらないということは手緩いということと再婚することが発生するにより生じる fact7: もし仮に「みにゅみやLv.61事件が生じる一方で上げ易いということは起こらない」ということは事実と異なるとすると上げ易いということが発生する fact8: 再婚することが発生する
fact2 & fact8 -> int1: 手緩いということと再婚することが発生する; int1 & fact6 -> int2: 人間らしいということは発生しない; int2 -> hypothesis;
fact2 & fact8 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 -> hypothesis;
ぴねぴのLv.45事件が起こる
$facts$ = fact1: 再婚することは起きないとすればぴねぴのLv.45事件および手緩いということが起きる fact2: 手緩いということが起きる fact3: 仮に「打ち易いということが起こる」ということは真実であるとしたら「みにゅみやLv.61事件が起こるし上げ易いということは生じない」ということは間違いだ fact4: もしも手緩いということは起きないなら「みゆみわLv.57事件は起きないか人間らしいということは起こらないかあるいはどちらもである」ということは誤っている fact5: もし仮に「上げ易いということが生じる」ということは正しいとすると「みゆみわLv.57事件が生じるが人間らしいということは生じない」ということは成り立たない fact6: 人間らしいということは起こらないということは手緩いということと再婚することが発生するにより生じる fact7: もし仮に「みにゅみやLv.61事件が生じる一方で上げ易いということは起こらない」ということは事実と異なるとすると上げ易いということが発生する fact8: 再婚することが発生する ; $hypothesis$ = 「みゆみわLv.57事件は生じないかあるいは人間らしいということは起こらない」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: 手緩いということと再婚することが発生する; int1 & fact6 -> int2: 人間らしいということは発生しない; int2 -> hypothesis; __DISPROVED__
fact2 & fact8 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 -> hypothesis; __DISPROVED__