空々しいということが起きるか腹立たしいということが生じる
fact1: 「ぷよぷよLv.91事件が発生する」ということは成り立つ fact2: 仮に腹立たしいということは生じないなら「塩っ辛いということは起きないかもしくはぷよぷよLv.91事件は生じない」ということは間違いだ fact3: 「外し易いということは起こらないかすべすべすることが生じるかどちらもだ」ということは真実である fact4: 「か細いということは起きない」ということは固しということは発生しないということに防がれる fact5: 腹立たしいということは発生しないということはぷよぷよLv.91事件が発生するということに繋がる
void -> assump1: 以下のように仮定する。腹立たしいということは起きない; fact2 & assump1 -> int1: 「塩っ辛いということは発生しないかぷよぷよLv.91事件は起こらない」ということは間違いだ;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} v ¬{AB});
$facts$ = fact1: 「ぷよぷよLv.91事件が発生する」ということは成り立つ fact2: 仮に腹立たしいということは生じないなら「塩っ辛いということは起きないかもしくはぷよぷよLv.91事件は生じない」ということは間違いだ fact3: 「外し易いということは起こらないかすべすべすることが生じるかどちらもだ」ということは真実である fact4: 「か細いということは起きない」ということは固しということは発生しないということに防がれる fact5: 腹立たしいということは発生しないということはぷよぷよLv.91事件が発生するということに繋がる ; $hypothesis$ = 空々しいということが起きるか腹立たしいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__