「もねもえLv.3事件が発生しないし更に参学することは起こらない」ということは成り立たない
fact1: もねもえLv.3事件がまやまゆLv.8事件は発生しないということを招く fact2: 「もねもえLv.3事件が発生しなくて加えて参学することは起こらない」ということは「もねもえLv.3事件は起こらない」ということが原因である fact3: 日本人らしいということが起きる fact4: まやまゆLv.8事件が起きる
void -> assump1: 以下のように仮定する。もねもえLv.3事件が発生する; fact1 & assump1 -> int1: まやまゆLv.8事件は生じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: もねもえLv.3事件は発生しない; int3 & fact2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: ¬{B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もねもえLv.3事件がまやまゆLv.8事件は発生しないということを招く fact2: 「もねもえLv.3事件が発生しなくて加えて参学することは起こらない」ということは「もねもえLv.3事件は起こらない」ということが原因である fact3: 日本人らしいということが起きる fact4: まやまゆLv.8事件が起きる ; $hypothesis$ = 「もねもえLv.3事件が発生しないし更に参学することは起こらない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。もねもえLv.3事件が発生する; fact1 & assump1 -> int1: まやまゆLv.8事件は生じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: もねもえLv.3事件は発生しない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: ¬{B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis; __DISPROVED__