「「もし切り難いとしたら「黄金分割するということはなくて除去しない」ということは成り立つということはない」物はある」ということは間違いだ
fact1: 「あの遠山先生は黄金分割しないがしかし除去する」ということは事実と異なる fact2: もしなにかは黄金分割しないがしかし除去するとすればそれは生理活性だ fact3: あの遠山先生は除去しない fact4: 「あの遠山先生は黄金分割するけどそれは除去しない」ということは間違いである fact5: 「もし切り難いなら黄金分割しないしさらに除去しない」ものはある fact6: 「もし仮に「切り難い」ということは本当だとしたら「黄金分割するけれど除去しない」ということは事実と異なる」ものはある fact7: あの遠山先生は第一ルール群である fact8: あの遠山先生が生理活性であるしそれが切り難いならそのカーヌーンは第一ルール群でない fact9: あの遠山先生は黄金分割しない fact10: あの遠山先生は籠もる fact11: もし仮に何かは黄金分割しなくてしかも除去しないなら生理活性である fact12: もしあの遠山先生は黄金分割するがしかし除去しないとすると生理活性である fact13: もしあの遠山先生は切り難いとしたら「黄金分割しないけど除去する」ということは成り立たない fact14: もしもあの遠山先生は黄金分割するということはないがしかし除去するとすると生理活性である fact15: あの遠山先生は切り難いとすれば「黄金分割するしまた除去しない」ということは間違いだ fact16: 「仮に切り難いとしたら「黄金分割するということはないけれど除去する」ということは成り立たない」ものはある fact17: もしも「なにがしかのものは黄金分割するけれどそれは除去しない」ということは真実であるとすると生理活性だ fact18: そのカーヌーンは誇らしい fact19: もしなんらかの物が誇らしいとすればそれは第一ルール群である fact20: もし仮にある物が治療するがそれは上層大気でないとしたらそれは錆無い
fact11 -> int1: もしあの遠山先生は黄金分割しなくてしかも除去しないとしたら生理活性である; void -> assump2: 以下のように仮定する。あの遠山先生は黄金分割しないし除去しない; int1 & assump2 -> int2: あの遠山先生は生理活性だ; void -> assump1: 以下のように仮定する。あの遠山先生は切り難い; int2 & assump1 -> int3: あの遠山先生は生理活性であるし切り難い; int3 & fact8 -> int4: そのカーヌーンは第一ルール群であるということはない; fact19 -> int5: そのカーヌーンが誇らしいならば第一ルール群だ; fact18 & int5 -> int6: そのカーヌーンは第一ルール群だ; int4 & int6 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「あの遠山先生は黄金分割しなくてそれは除去するということはない」ということは間違いである; [assump1] & int8 -> int9: もしあの遠山先生は切り難いとすると「それは黄金分割しないし加えて除去しない」ということは偽である; int9 -> hypothesis;
$facts$ = fact1: 「あの遠山先生は黄金分割しないがしかし除去する」ということは事実と異なる fact2: もしなにかは黄金分割しないがしかし除去するとすればそれは生理活性だ fact3: あの遠山先生は除去しない fact4: 「あの遠山先生は黄金分割するけどそれは除去しない」ということは間違いである fact5: 「もし切り難いなら黄金分割しないしさらに除去しない」ものはある fact6: 「もし仮に「切り難い」ということは本当だとしたら「黄金分割するけれど除去しない」ということは事実と異なる」ものはある fact7: あの遠山先生は第一ルール群である fact8: あの遠山先生が生理活性であるしそれが切り難いならそのカーヌーンは第一ルール群でない fact9: あの遠山先生は黄金分割しない fact10: あの遠山先生は籠もる fact11: もし仮に何かは黄金分割しなくてしかも除去しないなら生理活性である fact12: もしあの遠山先生は黄金分割するがしかし除去しないとすると生理活性である fact13: もしあの遠山先生は切り難いとしたら「黄金分割しないけど除去する」ということは成り立たない fact14: もしもあの遠山先生は黄金分割するということはないがしかし除去するとすると生理活性である fact15: あの遠山先生は切り難いとすれば「黄金分割するしまた除去しない」ということは間違いだ fact16: 「仮に切り難いとしたら「黄金分割するということはないけれど除去する」ということは成り立たない」ものはある fact17: もしも「なにがしかのものは黄金分割するけれどそれは除去しない」ということは真実であるとすると生理活性だ fact18: そのカーヌーンは誇らしい fact19: もしなんらかの物が誇らしいとすればそれは第一ルール群である fact20: もし仮にある物が治療するがそれは上層大気でないとしたらそれは錆無い ; $hypothesis$ = 「「もし切り難いとしたら「黄金分割するということはなくて除去しない」ということは成り立つということはない」物はある」ということは間違いだ ; $proof$ = 
fact11 -> int1: もしあの遠山先生は黄金分割しなくてしかも除去しないとしたら生理活性である; void -> assump2: 以下のように仮定する。あの遠山先生は黄金分割しないし除去しない; int1 & assump2 -> int2: あの遠山先生は生理活性だ; void -> assump1: 以下のように仮定する。あの遠山先生は切り難い; int2 & assump1 -> int3: あの遠山先生は生理活性であるし切り難い; int3 & fact8 -> int4: そのカーヌーンは第一ルール群であるということはない; fact19 -> int5: そのカーヌーンが誇らしいならば第一ルール群だ; fact18 & int5 -> int6: そのカーヌーンは第一ルール群だ; int4 & int6 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「あの遠山先生は黄金分割しなくてそれは除去するということはない」ということは間違いである; [assump1] & int8 -> int9: もしあの遠山先生は切り難いとすると「それは黄金分割しないし加えて除去しない」ということは偽である; int9 -> hypothesis; __DISPROVED__
事実1: 「あの遠山先生は黄金分割しないがしかし除去する」ということは事実と異なる
事実2: もしなにかは黄金分割しないがしかし除去するとすればそれは生理活性だ
事実3: あの遠山先生は除去しない
事実4: 「あの遠山先生は黄金分割するけどそれは除去しない」ということは間違いである
事実5: 「もし切り難いなら黄金分割しないしさらに除去しない」ものはある
事実6: 「もし仮に「切り難い」ということは本当だとしたら「黄金分割するけれど除去しない」ということは事実と異なる」ものはある
事実7: あの遠山先生は第一ルール群である
事実8: あの遠山先生が生理活性であるしそれが切り難いならそのカーヌーンは第一ルール群でない
事実9: あの遠山先生は黄金分割しない
事実10: あの遠山先生は籠もる
事実11: もし仮に何かは黄金分割しなくてしかも除去しないなら生理活性である
事実12: もしあの遠山先生は黄金分割するがしかし除去しないとすると生理活性である
事実13: もしあの遠山先生は切り難いとしたら「黄金分割しないけど除去する」ということは成り立たない
事実14: もしもあの遠山先生は黄金分割するということはないがしかし除去するとすると生理活性である
事実15: あの遠山先生は切り難いとすれば「黄金分割するしまた除去しない」ということは間違いだ
事実16: 「仮に切り難いとしたら「黄金分割するということはないけれど除去する」ということは成り立たない」ものはある
事実17: もしも「なにがしかのものは黄金分割するけれどそれは除去しない」ということは真実であるとすると生理活性だ
事実18: そのカーヌーンは誇らしい
事実19: もしなんらかの物が誇らしいとすればそれは第一ルール群である
事実20: もし仮にある物が治療するがそれは上層大気でないとしたらそれは錆無い

仮説: 「「もし切り難いとしたら「黄金分割するということはなくて除去しない」ということは成り立つということはない」物はある」ということは間違いだ
1. 事実11から、推論1: "もしあの遠山先生は黄金分割しなくてしかも除去しないとしたら生理活性である"が導かれる
2. 仮定2: 以下のように仮定する。あの遠山先生は黄金分割しないし除去しない
3. 推論1と仮定2から、推論2: "あの遠山先生は生理活性だ"が導かれる
4. 仮定1: 以下のように仮定する。あの遠山先生は切り難い
5. 推論2と仮定1から、推論3: "あの遠山先生は生理活性であるし切り難い"が導かれる
6. 推論3と事実8から、推論4: "そのカーヌーンは第一ルール群であるということはない"が導かれる
7. 事実19から、推論5: "そのカーヌーンが誇らしいならば第一ルール群だ"が導かれる
8. 事実18と推論5から、推論6: "そのカーヌーンは第一ルール群だ"が導かれる
9. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
10. [仮定2]と推論7から、推論8: "「あの遠山先生は黄金分割しなくてそれは除去するということはない」ということは間違いである"が導かれる
11. [仮定1]と推論8から、推論9: "もしあの遠山先生は切り難いとすると「それは黄金分割しないし加えて除去しない」ということは偽である"が導かれる
12. 推論9から、仮説が否定される

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