「臈たけることかあるいは移動し易いということかもしくはどちらもが起こる」ということは誤っている
fact1: 「まにょまにゅLv.2事件かまたはスポーツマンらしいということかあるいは両方が起きる」ということは偽だ fact2: 移動し易いということは起こらないということは「螺子止めすることは起こらなくてまにゅまにLv.31事件が生じる」ということに防がれる fact3: 螺子止めすることはまにゅまにLv.31事件を誘発する fact4: ぴにゅぴいLv.84事件が起こる fact5: ぷにゅぷよLv.46事件は起こらない fact6: もしも螺子止めすることは発生しないとしたら「臈たけることが起こるかもしくは移動し易いということが起こるかもしくは両方ともだ」ということは偽だ fact7: まにゅまにLv.31事件は起こらない fact8: 生まれ出ることは起こらないとすると「「楽しいということかもしくは滑り易いということかもしくは両方が生じる」ということは成り立たない」ということは成り立つ
void -> assump1: 以下のように仮定する。螺子止めすることが起きる; fact3 & assump1 -> int1: まにゅまにLv.31事件が起きる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 螺子止めすることは起こらない; int3 & fact6 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact6 -> hypothesis;
臈たけることが生じるかまたは移動し易いということが生じる
$facts$ = fact1: 「まにょまにゅLv.2事件かまたはスポーツマンらしいということかあるいは両方が起きる」ということは偽だ fact2: 移動し易いということは起こらないということは「螺子止めすることは起こらなくてまにゅまにLv.31事件が生じる」ということに防がれる fact3: 螺子止めすることはまにゅまにLv.31事件を誘発する fact4: ぴにゅぴいLv.84事件が起こる fact5: ぷにゅぷよLv.46事件は起こらない fact6: もしも螺子止めすることは発生しないとしたら「臈たけることが起こるかもしくは移動し易いということが起こるかもしくは両方ともだ」ということは偽だ fact7: まにゅまにLv.31事件は起こらない fact8: 生まれ出ることは起こらないとすると「「楽しいということかもしくは滑り易いということかもしくは両方が生じる」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「臈たけることかあるいは移動し易いということかもしくはどちらもが起こる」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。螺子止めすることが起きる; fact3 & assump1 -> int1: まにゅまにLv.31事件が起きる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 螺子止めすることは起こらない; int3 & fact6 -> hypothesis; __PROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact6 -> hypothesis; __PROVED__