以下のように仮定する。「まちょまにゅLv.43事件は起こらない」ということは本当だ
fact1: 収納出来ることは「ぷちょぷちょLv.83事件が起きるがしかしまちょまにゅLv.43事件は生じない」ということを誘発する fact2: 「満遍無いということは発生しない」ということは収納出来ることとみえみゆLv.51事件が生じるを発生させる fact3: もしまちょまにゅLv.43事件が発生しないとしたら不味いということは起きなくてぽにぽにLv.65事件は起こらない fact4: ぷちょぷちょLv.83事件が発生する fact5: 「「ぴちゃぴにょLv.96事件が起きる一方で射出すことは発生しない」ということは間違いだとしたら満遍無いということは発生しない」ということは成り立つ
void -> assump1: 以下のように仮定する。「まちょまにゅLv.43事件は起こらない」ということは本当だ; fact3 & assump1 -> int1: 不味いということは生じなくてぽにぽにLv.65事件は生じない;
void -> assump1: ¬{A}; fact3 & assump1 -> int1: (¬{AA} & ¬{AB});
以下のように仮定する。「まちょまにゅLv.43事件は起こらない」ということは本当だ
$facts$ = fact1: 収納出来ることは「ぷちょぷちょLv.83事件が起きるがしかしまちょまにゅLv.43事件は生じない」ということを誘発する fact2: 「満遍無いということは発生しない」ということは収納出来ることとみえみゆLv.51事件が生じるを発生させる fact3: もしまちょまにゅLv.43事件が発生しないとしたら不味いということは起きなくてぽにぽにLv.65事件は起こらない fact4: ぷちょぷちょLv.83事件が発生する fact5: 「「ぴちゃぴにょLv.96事件が起きる一方で射出すことは発生しない」ということは間違いだとしたら満遍無いということは発生しない」ということは成り立つ ; $hypothesis$ = 以下のように仮定する。「まちょまにゅLv.43事件は起こらない」ということは本当だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__