まよまにLv.56事件およびだらし無いということどちらもが起きる
fact1: ぷなぷねLv.64事件は起こらないということは「だらし無いということではなくてみのみちゅLv.67事件が起きる」ということを生じさせる fact2: まよまにLv.56事件が発生する fact3: もしも「だらし無いということは起こらない」ということは正しいならば打ち易いということとまよまにLv.56事件両方が起こる fact4: もし仮にみのみちゅLv.67事件は起きないとすれば「まよまにLv.56事件およびだらし無いということが起きる」ということは誤っている fact5: だらし無いということが生じる
fact2 -> int1: まよまにLv.56事件が発生する; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> hypothesis;
「「まよまにLv.56事件およびだらし無いということが起きる」ということは成り立たない」ということは正しい
$facts$ = fact1: ぷなぷねLv.64事件は起こらないということは「だらし無いということではなくてみのみちゅLv.67事件が起きる」ということを生じさせる fact2: まよまにLv.56事件が発生する fact3: もしも「だらし無いということは起こらない」ということは正しいならば打ち易いということとまよまにLv.56事件両方が起こる fact4: もし仮にみのみちゅLv.67事件は起きないとすれば「まよまにLv.56事件およびだらし無いということが起きる」ということは誤っている fact5: だらし無いということが生じる ; $hypothesis$ = まよまにLv.56事件およびだらし無いということどちらもが起きる ; $proof$ = 
fact2 -> int1: まよまにLv.56事件が発生する; int1 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact5 -> hypothesis; __PROVED__