あどけないということは発生しない
fact1: 仮に因り難いということは発生しないとすれば「もなもにゅLv.21事件は発生するけど仰向けることは起きない」ということは偽だ fact2: あどけないということは因り難いということに由来する fact3: 「もなもにゅLv.21事件が起こるし更に仰向けることが発生する」ということは成り立たない fact4: 因り難いということは発生しないなら「もなもにゅLv.21事件が起きるししかも仰向けることが生じる」ということは間違いである
void -> assump1: 以下のように仮定する。因り難いということは発生しない; fact1 & assump1 -> int1: 「もなもにゅLv.21事件は発生するけれど仰向けることは起きない」ということは誤っている;
void -> assump1: ¬{A}; fact1 & assump1 -> int1: ¬({AA} & ¬{AB});
$facts$ = fact1: 仮に因り難いということは発生しないとすれば「もなもにゅLv.21事件は発生するけど仰向けることは起きない」ということは偽だ fact2: あどけないということは因り難いということに由来する fact3: 「もなもにゅLv.21事件が起こるし更に仰向けることが発生する」ということは成り立たない fact4: 因り難いということは発生しないなら「もなもにゅLv.21事件が起きるししかも仰向けることが生じる」ということは間違いである ; $hypothesis$ = あどけないということは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__