「憎しということが起こる一方でぴちゃぴやLv.61事件は起こらない」ということは成り立たない
fact1: 定義し直すことが発生する fact2: もし定義し直すことが起こればぴやぴちょLv.60事件が起こらなくてしかもぴちゃぴやLv.61事件は生じない fact3: 憎しということは起きないなら定義し直すことと整理出来ることが発生する fact4: ぴやぴちょLv.60事件は生じない
fact2 & fact1 -> int1: ぴやぴちょLv.60事件が生じないしかつぴちゃぴやLv.61事件は起こらない; int1 -> int2: ぴちゃぴやLv.61事件は起こらない;
fact2 & fact1 -> int1: (¬{AA} & ¬{AB}); int1 -> int2: ¬{AB};
整理出来ることが生じる
$facts$ = fact1: 定義し直すことが発生する fact2: もし定義し直すことが起こればぴやぴちょLv.60事件が起こらなくてしかもぴちゃぴやLv.61事件は生じない fact3: 憎しということは起きないなら定義し直すことと整理出来ることが発生する fact4: ぴやぴちょLv.60事件は生じない ; $hypothesis$ = 「憎しということが起こる一方でぴちゃぴやLv.61事件は起こらない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__