もよもくLv.8事件とぷよぷちゅLv.37事件両方が起きる
fact1: ぷよぷちゅLv.37事件が起きる fact2: ぷえぷえLv.53事件およびおっかしいということが起こる fact3: もよもくLv.8事件が発生する fact4: まくまやLv.83事件は発生しないとすれば「もよもくLv.8事件とぷよぷちゅLv.37事件両方ともが生じる」ということは成り立たない
fact1 -> int1: ぷよぷちゅLv.37事件が起きる; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
「もよもくLv.8事件およびぷよぷちゅLv.37事件が起きる」ということは間違いだ
$facts$ = fact1: ぷよぷちゅLv.37事件が起きる fact2: ぷえぷえLv.53事件およびおっかしいということが起こる fact3: もよもくLv.8事件が発生する fact4: まくまやLv.83事件は発生しないとすれば「もよもくLv.8事件とぷよぷちゅLv.37事件両方ともが生じる」ということは成り立たない ; $hypothesis$ = もよもくLv.8事件とぷよぷちゅLv.37事件両方が起きる ; $proof$ = 
fact1 -> int1: ぷよぷちゅLv.37事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__