以下のように仮定する。「見え辛いということは発生しないし保管出来ることは生じない」ということは成り立たない
fact1: 快いということは発生しないしみちょみゆLv.50事件は起きない fact2: 利用し易いということが起こる fact3: 望ましいということは生じなくてぷわぷちゃLv.85事件は発生しない fact4: 答え難いということは起きない fact5: 「見え辛いということは起こらないしおまけに保管出来ることは起きない」ということは誤りであるとすると利用し易いということは起こらない fact6: 「見え辛いということが起きるけれど保管出来ることは発生しない」ということは誤っている fact7: もじもじすることは起こらない
void -> assump1: 以下のように仮定する。「見え辛いということは発生しないし保管出来ることは生じない」ということは成り立たない; fact5 & assump1 -> int1: 利用し易いということは発生しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA} & ¬{AB}); fact5 & assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 快いということは発生しないしみちょみゆLv.50事件は起きない fact2: 利用し易いということが起こる fact3: 望ましいということは生じなくてぷわぷちゃLv.85事件は発生しない fact4: 答え難いということは起きない fact5: 「見え辛いということは起こらないしおまけに保管出来ることは起きない」ということは誤りであるとすると利用し易いということは起こらない fact6: 「見え辛いということが起きるけれど保管出来ることは発生しない」ということは誤っている fact7: もじもじすることは起こらない ; $hypothesis$ = 以下のように仮定する。「見え辛いということは発生しないし保管出来ることは生じない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「見え辛いということは発生しないし保管出来ることは生じない」ということは成り立たない; fact5 & assump1 -> int1: 利用し易いということは発生しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ¬(¬{AA} & ¬{AB}); fact5 & assump1 -> int1: ¬{B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__