「まちょまわLv.4事件が起こる」ということは真実である
fact1: プロらしいということは「集成することではなく発生し難いということが発生する」ということに繋がる fact2: 仮にぷよぷくLv.8事件は起こらないとすればまちょまわLv.4事件とプロらしいということが起きる fact3: プロらしいということが発生するしまたぷよぷくLv.8事件が起こる
fact3 -> int1: プロらしいということが発生する; int1 & fact1 -> int2: 「集成することではなくて発生し難いということが発生する」ということは成り立つ;
fact3 -> int1: {A}; int1 & fact1 -> int2: (¬{C} & {D});
「まちょまわLv.4事件が起こる」ということは真実である
$facts$ = fact1: プロらしいということは「集成することではなく発生し難いということが発生する」ということに繋がる fact2: 仮にぷよぷくLv.8事件は起こらないとすればまちょまわLv.4事件とプロらしいということが起きる fact3: プロらしいということが発生するしまたぷよぷくLv.8事件が起こる ; $hypothesis$ = 「まちょまわLv.4事件が起こる」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__