「その色素沈着は吸い立てないしかつごった返さない」ということは真実だということはない
fact1: あの大富豪が涙脆いならばあの淡黄色は抗い難い fact2: この淡黄色は免ぜない fact3: その山沿いは免ぜない fact4: 「その色素沈着はトレーニングマシンだということはない」ということは本当である fact5: 涙脆くないものは導けるし加えて抗い難い fact6: 「なにがしかの物は導けない」ということは成り立てば「それは吸い立てないしその上ごった返さない」ということは確かだ fact7: もしもその色素沈着が見え易いということはなくてそれはトレーニングマシンでないとしたら漏れ易くない fact8: あの大富豪は導けるしそれは涙脆い fact9: もし仮にこの淡黄色が免ぜないが抗い難いとすればその色素沈着は見え易くない fact10: その色素沈着は漏れ易くないとしたら「吸い立てるということはないしかつごった返さない」ということは確かでない fact11: もしあの大富豪が導けるがそれが抗い難くないならその色素沈着は導けない
fact8 -> int1: あの大富豪は涙脆い; int1 & fact1 -> int2: 「この淡黄色は抗い難い」ということは成り立つ; int2 & fact2 -> int3: この淡黄色は免ぜない一方でそれは抗い難い; int3 & fact9 -> int4: その色素沈着は見え易くない; int4 & fact4 -> int5: その色素沈着は見え易いということはないし更にトレーニングマシンでない; int5 & fact7 -> int6: その色素沈着は漏れ易くない; int6 & fact10 -> hypothesis;
この脱魂は抗い難い
fact12 -> int7: 「もしもこの脱魂が涙脆くないならばあの脱魂は導けるしおまけに抗い難い」ということは事実である;
$facts$ = fact1: あの大富豪が涙脆いならばあの淡黄色は抗い難い fact2: この淡黄色は免ぜない fact3: その山沿いは免ぜない fact4: 「その色素沈着はトレーニングマシンだということはない」ということは本当である fact5: 涙脆くないものは導けるし加えて抗い難い fact6: 「なにがしかの物は導けない」ということは成り立てば「それは吸い立てないしその上ごった返さない」ということは確かだ fact7: もしもその色素沈着が見え易いということはなくてそれはトレーニングマシンでないとしたら漏れ易くない fact8: あの大富豪は導けるしそれは涙脆い fact9: もし仮にこの淡黄色が免ぜないが抗い難いとすればその色素沈着は見え易くない fact10: その色素沈着は漏れ易くないとしたら「吸い立てるということはないしかつごった返さない」ということは確かでない fact11: もしあの大富豪が導けるがそれが抗い難くないならその色素沈着は導けない ; $hypothesis$ = 「その色素沈着は吸い立てないしかつごった返さない」ということは真実だということはない ; $proof$ = 
fact8 -> int1: あの大富豪は涙脆い; int1 & fact1 -> int2: 「この淡黄色は抗い難い」ということは成り立つ; int2 & fact2 -> int3: この淡黄色は免ぜない一方でそれは抗い難い; int3 & fact9 -> int4: その色素沈着は見え易くない; int4 & fact4 -> int5: その色素沈着は見え易いということはないし更にトレーニングマシンでない; int5 & fact7 -> int6: その色素沈着は漏れ易くない; int6 & fact10 -> hypothesis; __PROVED__
事実1: あの大富豪が涙脆いならばあの淡黄色は抗い難い
事実2: この淡黄色は免ぜない
事実3: その山沿いは免ぜない
事実4: 「その色素沈着はトレーニングマシンだということはない」ということは本当である
事実5: 涙脆くないものは導けるし加えて抗い難い
事実6: 「なにがしかの物は導けない」ということは成り立てば「それは吸い立てないしその上ごった返さない」ということは確かだ
事実7: もしもその色素沈着が見え易いということはなくてそれはトレーニングマシンでないとしたら漏れ易くない
事実8: あの大富豪は導けるしそれは涙脆い
事実9: もし仮にこの淡黄色が免ぜないが抗い難いとすればその色素沈着は見え易くない
事実10: その色素沈着は漏れ易くないとしたら「吸い立てるということはないしかつごった返さない」ということは確かでない
事実11: もしあの大富豪が導けるがそれが抗い難くないならその色素沈着は導けない

仮説: 「その色素沈着は吸い立てないしかつごった返さない」ということは真実だということはない
1. 事実8から、推論1: "あの大富豪は涙脆い"が導かれる
2. 推論1と事実1から、推論2: "「この淡黄色は抗い難い」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "この淡黄色は免ぜない一方でそれは抗い難い"が導かれる
4. 推論3と事実9から、推論4: "その色素沈着は見え易くない"が導かれる
5. 推論4と事実4から、推論5: "その色素沈着は見え易いということはないし更にトレーニングマシンでない"が導かれる
6. 推論5と事実7から、推論6: "その色素沈着は漏れ易くない"が導かれる
7. 推論6と事実10から、仮説が導かれる

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