合わせ辛いということが起きる
fact1: 「まよまちゅLv.68事件は起こらないしまのまえLv.79事件は発生しない」ということは「輝かしということは発生しない」ということにより生じる fact2: もしもぷくぷにょLv.68事件が生じるなら合わせ辛いということは生じなくておまけに輝かしということは発生しない fact3: 「ぴにゅぴなLv.72事件が生じる一方でぴにゃぴなLv.65事件は起こらない」ということは貧しということは起きないということにもたらされる fact4: まよまちゅLv.68事件が生じなくてまのまえLv.79事件が生じないならば合わせ辛いということは発生する fact5: もしもぴにゃぴなLv.65事件が発生しないならば転がり出ることは起きない fact6: 輝かしということは生じない fact7: もし仮に転がり出ることは起こらないとすればぷくぷにょLv.68事件とぴやぴなLv.12事件が生じる fact8: まよまちゅLv.68事件は生じない
fact1 & fact6 -> int1: まよまちゅLv.68事件が生じなくておまけにまのまえLv.79事件は生じない; int1 & fact4 -> hypothesis;
fact1 & fact6 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> hypothesis;
合わせ辛いということは起きない
$facts$ = fact1: 「まよまちゅLv.68事件は起こらないしまのまえLv.79事件は発生しない」ということは「輝かしということは発生しない」ということにより生じる fact2: もしもぷくぷにょLv.68事件が生じるなら合わせ辛いということは生じなくておまけに輝かしということは発生しない fact3: 「ぴにゅぴなLv.72事件が生じる一方でぴにゃぴなLv.65事件は起こらない」ということは貧しということは起きないということにもたらされる fact4: まよまちゅLv.68事件が生じなくてまのまえLv.79事件が生じないならば合わせ辛いということは発生する fact5: もしもぴにゃぴなLv.65事件が発生しないならば転がり出ることは起きない fact6: 輝かしということは生じない fact7: もし仮に転がり出ることは起こらないとすればぷくぷにょLv.68事件とぴやぴなLv.12事件が生じる fact8: まよまちゅLv.68事件は生じない ; $hypothesis$ = 合わせ辛いということが起きる ; $proof$ = 
fact1 & fact6 -> int1: まよまちゅLv.68事件が生じなくておまけにまのまえLv.79事件は生じない; int1 & fact4 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: (¬{AA} & ¬{AB}); int1 & fact4 -> hypothesis; __PROVED__