「もし仮にその基本組織が横領しないとすればあの青啄木鳥は如是だ」ということは嘘である
fact1: 何かは北海公園であるかまたはそれは転び出ないか両方である fact2: あの農耕は御指導頂くかまたは付近一帯でないかあるいは両方である fact3: もしも何かは受信すれば横領する fact4: その基本組織は北海公園でないとすれば「そのレイプは横領する」ということは嘘でない fact5: その基本組織は如是であるかもしくは受信するということはない fact6: その基本組織が横領するとすればその青啄木鳥は如是だ fact7: その基本組織は如是だ fact8: もしもそのレイプが受信するということはないならその基本組織は北海公園であるしそれにそれは転び出る fact9: 仮にそのレイプが北海公園だとしたらその基本組織は受信する fact10: 仮にその基本組織は転び出るとすると「そのレイプは横領する」ということは事実である fact11: 北海公園は株立ちである fact12: その基本組織は受信するか北海公園であるということはないかもしくは両方ともだ fact13: もしも「「北海公園であるかもしくは転び出ない」ということは成り立つということはない」ものがあるとすればあの青啄木鳥は如是だ fact14: もしとあるものが御指導頂くならその弁護士費用は御指導頂くかあるいは如是だ fact15: 「北海公園だということはない」ものはある fact16: 「「北海公園であるかまたは転び出るかもしくは両方である」ということは間違いである」物はある fact17: 仮にあの農耕は御指導頂くかまたは付近一帯でないかあるいはどちらもだとすると「それは御指導頂く」ということは真実である fact18: 何らかの物は転び出る fact19: もし仮にそのレイプが転び出ないとするとその基本組織は受信する fact20: もしそのレイプが横領しないならその基本組織は転び出る fact21: もしもあの半時間が如是であるならその青啄木鳥は横領しない fact22: そのレイプが転び出るとすると横領する
void -> assump2: 以下のように仮定する。そのレイプは北海公園であるかまたは転び出ない; assump2 & fact9 & fact19 -> int1: 「その基本組織は受信する」ということは事実である; fact3 -> int2: 仮にその基本組織が受信するとすれば横領する; int1 & int2 -> int3: その基本組織は横領する; void -> assump1: 以下のように仮定する。その基本組織は横領しない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「そのレイプは北海公園であるか転び出ないかもしくは両方ともである」ということは間違いである; int5 -> int6: 「「北海公園であるか転び出ないかあるいはどちらもだ」ということは誤りである」ものはある; int6 & fact13 -> int7: その青啄木鳥は如是だ; [assump1] & int7 -> hypothesis;
その基本組織は株立ちだ
fact27 -> int8: 仮にその基本組織が北海公園だとしたら株立ちだ; fact26 & fact28 -> int9: あの農耕は御指導頂く; int9 -> int10: 「「御指導頂く」ということは本当な」物はある; int10 & fact23 -> int11: その弁護士費用は御指導頂くかあるいはそれは如是である;
$facts$ = fact1: 何かは北海公園であるかまたはそれは転び出ないか両方である fact2: あの農耕は御指導頂くかまたは付近一帯でないかあるいは両方である fact3: もしも何かは受信すれば横領する fact4: その基本組織は北海公園でないとすれば「そのレイプは横領する」ということは嘘でない fact5: その基本組織は如是であるかもしくは受信するということはない fact6: その基本組織が横領するとすればその青啄木鳥は如是だ fact7: その基本組織は如是だ fact8: もしもそのレイプが受信するということはないならその基本組織は北海公園であるしそれにそれは転び出る fact9: 仮にそのレイプが北海公園だとしたらその基本組織は受信する fact10: 仮にその基本組織は転び出るとすると「そのレイプは横領する」ということは事実である fact11: 北海公園は株立ちである fact12: その基本組織は受信するか北海公園であるということはないかもしくは両方ともだ fact13: もしも「「北海公園であるかもしくは転び出ない」ということは成り立つということはない」ものがあるとすればあの青啄木鳥は如是だ fact14: もしとあるものが御指導頂くならその弁護士費用は御指導頂くかあるいは如是だ fact15: 「北海公園だということはない」ものはある fact16: 「「北海公園であるかまたは転び出るかもしくは両方である」ということは間違いである」物はある fact17: 仮にあの農耕は御指導頂くかまたは付近一帯でないかあるいはどちらもだとすると「それは御指導頂く」ということは真実である fact18: 何らかの物は転び出る fact19: もし仮にそのレイプが転び出ないとするとその基本組織は受信する fact20: もしそのレイプが横領しないならその基本組織は転び出る fact21: もしもあの半時間が如是であるならその青啄木鳥は横領しない fact22: そのレイプが転び出るとすると横領する ; $hypothesis$ = 「もし仮にその基本組織が横領しないとすればあの青啄木鳥は如是だ」ということは嘘である ; $proof$ = 
void -> assump2: 以下のように仮定する。そのレイプは北海公園であるかまたは転び出ない; assump2 & fact9 & fact19 -> int1: 「その基本組織は受信する」ということは事実である; fact3 -> int2: 仮にその基本組織が受信するとすれば横領する; int1 & int2 -> int3: その基本組織は横領する; void -> assump1: 以下のように仮定する。その基本組織は横領しない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「そのレイプは北海公園であるか転び出ないかもしくは両方ともである」ということは間違いである; int5 -> int6: 「「北海公園であるか転び出ないかあるいはどちらもだ」ということは誤りである」ものはある; int6 & fact13 -> int7: その青啄木鳥は如是だ; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 何かは北海公園であるかまたはそれは転び出ないか両方である
事実2: あの農耕は御指導頂くかまたは付近一帯でないかあるいは両方である
事実3: もしも何かは受信すれば横領する
事実4: その基本組織は北海公園でないとすれば「そのレイプは横領する」ということは嘘でない
事実5: その基本組織は如是であるかもしくは受信するということはない
事実6: その基本組織が横領するとすればその青啄木鳥は如是だ
事実7: その基本組織は如是だ
事実8: もしもそのレイプが受信するということはないならその基本組織は北海公園であるしそれにそれは転び出る
事実9: 仮にそのレイプが北海公園だとしたらその基本組織は受信する
事実10: 仮にその基本組織は転び出るとすると「そのレイプは横領する」ということは事実である
事実11: 北海公園は株立ちである
事実12: その基本組織は受信するか北海公園であるということはないかもしくは両方ともだ
事実13: もしも「「北海公園であるかもしくは転び出ない」ということは成り立つということはない」ものがあるとすればあの青啄木鳥は如是だ
事実14: もしとあるものが御指導頂くならその弁護士費用は御指導頂くかあるいは如是だ
事実15: 「北海公園だということはない」ものはある
事実16: 「「北海公園であるかまたは転び出るかもしくは両方である」ということは間違いである」物はある
事実17: 仮にあの農耕は御指導頂くかまたは付近一帯でないかあるいはどちらもだとすると「それは御指導頂く」ということは真実である
事実18: 何らかの物は転び出る
事実19: もし仮にそのレイプが転び出ないとするとその基本組織は受信する
事実20: もしそのレイプが横領しないならその基本組織は転び出る
事実21: もしもあの半時間が如是であるならその青啄木鳥は横領しない
事実22: そのレイプが転び出るとすると横領する

仮説: 「もし仮にその基本組織が横領しないとすればあの青啄木鳥は如是だ」ということは嘘である
1. 仮定2: 以下のように仮定する。そのレイプは北海公園であるかまたは転び出ない
2. 仮定2と事実9と事実19から、推論1: "「その基本組織は受信する」ということは事実である"が導かれる
3. 事実3から、推論2: "仮にその基本組織が受信するとすれば横領する"が導かれる
4. 推論1と推論2から、推論3: "その基本組織は横領する"が導かれる
5. 仮定1: 以下のように仮定する。その基本組織は横領しない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「そのレイプは北海公園であるか転び出ないかもしくは両方ともである」ということは間違いである"が導かれる
8. 推論5から、推論6: "「「北海公園であるか転び出ないかあるいはどちらもだ」ということは誤りである」ものはある"が導かれる
9. 推論6と事実13から、推論7: "その青啄木鳥は如是だ"が導かれる
10. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。