使い出すことが生じるしもにゃもちゃLv.46事件が起こる
fact1: もにゃもちゃLv.46事件が起きる fact2: 崩れ出すことおよびまやまちゅLv.95事件両方が起きる fact3: 仮に崩れ出すことは発生しないとしたら「使い出すことが生じるしそれにもにゃもちゃLv.46事件が生じる」ということは成り立たない fact4: 「崩れ出すことが生じる」ということは使い出すことに繋がる
fact2 -> int1: 崩れ出すことが生じる; int1 & fact4 -> int2: 使い出すことが生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis;
「使い出すことおよびもにゃもちゃLv.46事件両方ともが発生する」ということは成り立たない
$facts$ = fact1: もにゃもちゃLv.46事件が起きる fact2: 崩れ出すことおよびまやまちゅLv.95事件両方が起きる fact3: 仮に崩れ出すことは発生しないとしたら「使い出すことが生じるしそれにもにゃもちゃLv.46事件が生じる」ということは成り立たない fact4: 「崩れ出すことが生じる」ということは使い出すことに繋がる ; $hypothesis$ = 使い出すことが生じるしもにゃもちゃLv.46事件が起こる ; $proof$ = 
fact2 -> int1: 崩れ出すことが生じる; int1 & fact4 -> int2: 使い出すことが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__