「「前述である」ということは事実である」ものはある
fact1: 「もしその首位集団が染み出ないしそれが前述でないならこのアフガン政府は誇らしくない」ということは成り立つ fact2: この爪弾きは彫り上げる fact3: もしこのアフガン政府が染み出なくて希望事項だということはないとするとあの自己中心ストレッチは特別議決でない fact4: もしもあの自己中心ストレッチは合い難くないとすると「その首位集団は野手だけれど誇らしくない」ということは成り立たない fact5: 「その首位集団は希望事項でなくてそれに起こし易くない」ということは本当だ fact6: もしも「その首位集団は野手でない」ということは事実であるとすればこの棋界は彫り上げる fact7: その首位集団が前述だということはないし希望事項だということはないとすればこの爪弾きは誇らしくない fact8: このアフガン政府は染み出るということはない fact9: 「あの自己中心ストレッチは合い難い」ということは成り立つなら特別議決である fact10: 仮に「このアフガン政府が前述だけど希望事項だということはない」ということは間違いであるならばこの爪弾きは特別議決である fact11: このアフガン政府は前述だということはなくてかつそれは染み出ない fact12: この爪弾きは希望事項なら「それは前述である」ということは誤っているということはない fact13: 仮にこのアフガン政府が染み出るけど希望事項であるということはないならばあの自己中心ストレッチは特別議決でない fact14: このアフガン政府は染み出なくてしかも希望事項でない fact15: この棋界が彫り上げないけれどそれが誇らしいならばあのアフガン政府は染み出ない fact16: もし仮にこの棋界が彫り上げればこの爪弾きは前述だ fact17: もし仮にこの爪弾きが染み出るならこのアフガン政府は前述だ fact18: もしその首位集団が前述でなくて合い難くないとしたらあの自己中心ストレッチは誇らしいということはない fact19: このアフガン政府は合い難くない fact20: 仮にあの自己中心ストレッチが野手でないしさらに合い難いということはないとすればその首位集団は誇らしくない fact21: 仮に「その首位集団は野手であるがしかし合い難くない」ということは偽だとすれば「このアフガン政府は染み出る」ということは本当である fact22: もし仮に「その首位集団は野手だがしかし誇らしくない」ということは偽であるとしたらこの棋界は彫り上げる fact23: もしもこの爪弾きが合い難いとしたらあの自己中心ストレッチは前述だ fact24: このアフガン政府は彫り上げない
void -> assump1: 以下のように仮定する。あの自己中心ストレッチは合い難い; fact9 & assump1 -> int1: 「あの自己中心ストレッチは特別議決である」ということは嘘でない; fact3 & fact14 -> int2: あの自己中心ストレッチは特別議決でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの自己中心ストレッチは合い難くない; int4 & fact4 -> int5: 「その首位集団は野手であるが誇らしくない」ということは間違いである; int5 & fact22 -> int6: この棋界は彫り上げる; int6 & fact16 -> int7: この爪弾きは前述だ; int7 -> hypothesis;
$facts$ = fact1: 「もしその首位集団が染み出ないしそれが前述でないならこのアフガン政府は誇らしくない」ということは成り立つ fact2: この爪弾きは彫り上げる fact3: もしこのアフガン政府が染み出なくて希望事項だということはないとするとあの自己中心ストレッチは特別議決でない fact4: もしもあの自己中心ストレッチは合い難くないとすると「その首位集団は野手だけれど誇らしくない」ということは成り立たない fact5: 「その首位集団は希望事項でなくてそれに起こし易くない」ということは本当だ fact6: もしも「その首位集団は野手でない」ということは事実であるとすればこの棋界は彫り上げる fact7: その首位集団が前述だということはないし希望事項だということはないとすればこの爪弾きは誇らしくない fact8: このアフガン政府は染み出るということはない fact9: 「あの自己中心ストレッチは合い難い」ということは成り立つなら特別議決である fact10: 仮に「このアフガン政府が前述だけど希望事項だということはない」ということは間違いであるならばこの爪弾きは特別議決である fact11: このアフガン政府は前述だということはなくてかつそれは染み出ない fact12: この爪弾きは希望事項なら「それは前述である」ということは誤っているということはない fact13: 仮にこのアフガン政府が染み出るけど希望事項であるということはないならばあの自己中心ストレッチは特別議決でない fact14: このアフガン政府は染み出なくてしかも希望事項でない fact15: この棋界が彫り上げないけれどそれが誇らしいならばあのアフガン政府は染み出ない fact16: もし仮にこの棋界が彫り上げればこの爪弾きは前述だ fact17: もし仮にこの爪弾きが染み出るならこのアフガン政府は前述だ fact18: もしその首位集団が前述でなくて合い難くないとしたらあの自己中心ストレッチは誇らしいということはない fact19: このアフガン政府は合い難くない fact20: 仮にあの自己中心ストレッチが野手でないしさらに合い難いということはないとすればその首位集団は誇らしくない fact21: 仮に「その首位集団は野手であるがしかし合い難くない」ということは偽だとすれば「このアフガン政府は染み出る」ということは本当である fact22: もし仮に「その首位集団は野手だがしかし誇らしくない」ということは偽であるとしたらこの棋界は彫り上げる fact23: もしもこの爪弾きが合い難いとしたらあの自己中心ストレッチは前述だ fact24: このアフガン政府は彫り上げない ; $hypothesis$ = 「「前述である」ということは事実である」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの自己中心ストレッチは合い難い; fact9 & assump1 -> int1: 「あの自己中心ストレッチは特別議決である」ということは嘘でない; fact3 & fact14 -> int2: あの自己中心ストレッチは特別議決でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの自己中心ストレッチは合い難くない; int4 & fact4 -> int5: 「その首位集団は野手であるが誇らしくない」ということは間違いである; int5 & fact22 -> int6: この棋界は彫り上げる; int6 & fact16 -> int7: この爪弾きは前述だ; int7 -> hypothesis; __PROVED__
事実1: 「もしその首位集団が染み出ないしそれが前述でないならこのアフガン政府は誇らしくない」ということは成り立つ
事実2: この爪弾きは彫り上げる
事実3: もしこのアフガン政府が染み出なくて希望事項だということはないとするとあの自己中心ストレッチは特別議決でない
事実4: もしもあの自己中心ストレッチは合い難くないとすると「その首位集団は野手だけれど誇らしくない」ということは成り立たない
事実5: 「その首位集団は希望事項でなくてそれに起こし易くない」ということは本当だ
事実6: もしも「その首位集団は野手でない」ということは事実であるとすればこの棋界は彫り上げる
事実7: その首位集団が前述だということはないし希望事項だということはないとすればこの爪弾きは誇らしくない
事実8: このアフガン政府は染み出るということはない
事実9: 「あの自己中心ストレッチは合い難い」ということは成り立つなら特別議決である
事実10: 仮に「このアフガン政府が前述だけど希望事項だということはない」ということは間違いであるならばこの爪弾きは特別議決である
事実11: このアフガン政府は前述だということはなくてかつそれは染み出ない
事実12: この爪弾きは希望事項なら「それは前述である」ということは誤っているということはない
事実13: 仮にこのアフガン政府が染み出るけど希望事項であるということはないならばあの自己中心ストレッチは特別議決でない
事実14: このアフガン政府は染み出なくてしかも希望事項でない
事実15: この棋界が彫り上げないけれどそれが誇らしいならばあのアフガン政府は染み出ない
事実16: もし仮にこの棋界が彫り上げればこの爪弾きは前述だ
事実17: もし仮にこの爪弾きが染み出るならこのアフガン政府は前述だ
事実18: もしその首位集団が前述でなくて合い難くないとしたらあの自己中心ストレッチは誇らしいということはない
事実19: このアフガン政府は合い難くない
事実20: 仮にあの自己中心ストレッチが野手でないしさらに合い難いということはないとすればその首位集団は誇らしくない
事実21: 仮に「その首位集団は野手であるがしかし合い難くない」ということは偽だとすれば「このアフガン政府は染み出る」ということは本当である
事実22: もし仮に「その首位集団は野手だがしかし誇らしくない」ということは偽であるとしたらこの棋界は彫り上げる
事実23: もしもこの爪弾きが合い難いとしたらあの自己中心ストレッチは前述だ
事実24: このアフガン政府は彫り上げない

仮説: 「「前述である」ということは事実である」ものはある
1. 仮定1: 以下のように仮定する。あの自己中心ストレッチは合い難い
2. 事実9と仮定1から、推論1: "「あの自己中心ストレッチは特別議決である」ということは嘘でない"が導かれる
3. 事実3と事実14から、推論2: "あの自己中心ストレッチは特別議決でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの自己中心ストレッチは合い難くない"が導かれる
6. 推論4と事実4から、推論5: "「その首位集団は野手であるが誇らしくない」ということは間違いである"が導かれる
7. 推論5と事実22から、推論6: "この棋界は彫り上げる"が導かれる
8. 推論6と事実16から、推論7: "この爪弾きは前述だ"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。