「まいまちゅLv.23事件ともにゃもわLv.45事件が生じる」ということは偽である
fact1: もしもぴちょぴえLv.73事件は発生しないならば「まいまちゅLv.23事件およびもにゃもわLv.45事件が起きる」ということは誤りである fact2: もにゃもわLv.45事件は発生しないということは「もなもにゅLv.54事件およびまいまちゅLv.23事件が起こる」ということに帰結する fact3: まいまちゅLv.23事件が発生する fact4: 理解し難いということが起きる fact5: 通じ難いということが起こる fact6: ぴちょぴえLv.73事件は生じないということは「快いということは発生しない」ということに由来する fact7: 「もにゃもわLv.45事件が生じる」ということは本当である
fact3 -> int1: まいまちゅLv.23事件が発生する; int1 & fact7 -> hypothesis;
fact3 -> int1: {A}; int1 & fact7 -> hypothesis;
「まいまちゅLv.23事件ともにゃもわLv.45事件が生じる」ということは偽である
$facts$ = fact1: もしもぴちょぴえLv.73事件は発生しないならば「まいまちゅLv.23事件およびもにゃもわLv.45事件が起きる」ということは誤りである fact2: もにゃもわLv.45事件は発生しないということは「もなもにゅLv.54事件およびまいまちゅLv.23事件が起こる」ということに帰結する fact3: まいまちゅLv.23事件が発生する fact4: 理解し難いということが起きる fact5: 通じ難いということが起こる fact6: ぴちょぴえLv.73事件は生じないということは「快いということは発生しない」ということに由来する fact7: 「もにゃもわLv.45事件が生じる」ということは本当である ; $hypothesis$ = 「まいまちゅLv.23事件ともにゃもわLv.45事件が生じる」ということは偽である ; $proof$ = 
fact3 -> int1: まいまちゅLv.23事件が発生する; int1 & fact7 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact7 -> hypothesis; __DISPROVED__