以下のように仮定する。みにゃみゆLv.69事件が起きる
fact1: 「擦り寄ることは発生するしぷよぷえLv.49事件は発生しない」ということは誤りだ fact2: 「済ますことが生じる」ということはみにゃみゆLv.69事件のきっかけとなる fact3: 擦り寄ることは生じないしぷよぷえLv.49事件は生じない fact4: ぴゆぴゆLv.43事件は起きないししかも首尾良いということは生じない fact5: もし仮にみにゃみゆLv.69事件が生じれば「擦り寄ることが発生しないしさらにぷよぷえLv.49事件は発生しない」ということは事実と異なる
void -> assump1: 以下のように仮定する。みにゃみゆLv.69事件が起きる; fact5 & assump1 -> int1: 「擦り寄ることが生じないしそれにぷよぷえLv.49事件は発生しない」ということは本当でない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact5 & assump1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。みにゃみゆLv.69事件が起きる
$facts$ = fact1: 「擦り寄ることは発生するしぷよぷえLv.49事件は発生しない」ということは誤りだ fact2: 「済ますことが生じる」ということはみにゃみゆLv.69事件のきっかけとなる fact3: 擦り寄ることは生じないしぷよぷえLv.49事件は生じない fact4: ぴゆぴゆLv.43事件は起きないししかも首尾良いということは生じない fact5: もし仮にみにゃみゆLv.69事件が生じれば「擦り寄ることが発生しないしさらにぷよぷえLv.49事件は発生しない」ということは事実と異なる ; $hypothesis$ = 以下のように仮定する。みにゃみゆLv.69事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。みにゃみゆLv.69事件が起きる; fact5 & assump1 -> int1: 「擦り寄ることが生じないしそれにぷよぷえLv.49事件は発生しない」ということは本当でない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact5 & assump1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__