その環境変化予測がシルクエイドであるとしたらこのかっちょは準備するけれどそわそわしない
fact1: 「このかっちょが寝苦しいしその上それは教え始める」ということは誤りならばキープ出来ない fact2: 「このかっちょが胡散臭くないならあの王墓はうら若いしまたシルクエイドである」ということは本当だ fact3: 「このかっちょはキープ出来ない」ということは本当だとすればそれが核戦争後だしそれは差し入る fact4: もしなにかは差し入るとすると分かち難くない fact5: 「このかっちょは瑞々しくない」ということは真実である fact6: もしこのかっちょは瑞々しくないなら「それは寝苦しいし教え始める」ということは間違いだ fact7: もし「「このかっちょは準備するけどそわそわしない」ということは事実である」ということは誤っているならばあの環境変化予測はシルクエイドでない fact8: なにかはうら若いとすると「スイングするしまたそれは準備しない」ということは誤りである fact9: 分かち難くない物は胡散臭くないし硬化しない fact10: このかっちょは準備しない
void -> assump2: 以下のように仮定する。「このかっちょは準備するがそれはそわそわしない」ということは誤りである; fact7 & assump2 -> int1: その環境変化予測はシルクエイドでない; void -> assump1: 以下のように仮定する。その環境変化予測はシルクエイドだ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: このかっちょは準備するがしかしそれはそわそわしない; [assump1] & int3 -> hypothesis;
「あの王墓はスイングするがしかしそれは準備しない」ということは成り立たない
fact14 -> int4: もしもあの王墓はうら若いならば「スイングするしそれは準備しない」ということは間違いだ; fact15 -> int5: もしこのかっちょが分かち難くないならば胡散臭いということはなくてまた硬化しない; fact16 -> int6: もし仮にこのかっちょが差し入るとすれば分かち難くない; fact13 & fact12 -> int7: 「このかっちょは寝苦しくてそれに教え始める」ということは確かでない; fact18 & int7 -> int8: このかっちょはキープ出来ない; fact17 & int8 -> int9: このかっちょは核戦争後であるしそれに差し入る; int9 -> int10: 「このかっちょは差し入る」ということは事実である; int6 & int10 -> int11: このかっちょは分かち難くない; int5 & int11 -> int12: このかっちょは胡散臭くなくてかつ硬化しない; int12 -> int13: このかっちょは胡散臭くない; fact11 & int13 -> int14: あの王墓はうら若くて更にシルクエイドだ; int14 -> int15: 「あの王墓はうら若い」ということは成り立つ; int4 & int15 -> hypothesis;
$facts$ = fact1: 「このかっちょが寝苦しいしその上それは教え始める」ということは誤りならばキープ出来ない fact2: 「このかっちょが胡散臭くないならあの王墓はうら若いしまたシルクエイドである」ということは本当だ fact3: 「このかっちょはキープ出来ない」ということは本当だとすればそれが核戦争後だしそれは差し入る fact4: もしなにかは差し入るとすると分かち難くない fact5: 「このかっちょは瑞々しくない」ということは真実である fact6: もしこのかっちょは瑞々しくないなら「それは寝苦しいし教え始める」ということは間違いだ fact7: もし「「このかっちょは準備するけどそわそわしない」ということは事実である」ということは誤っているならばあの環境変化予測はシルクエイドでない fact8: なにかはうら若いとすると「スイングするしまたそれは準備しない」ということは誤りである fact9: 分かち難くない物は胡散臭くないし硬化しない fact10: このかっちょは準備しない ; $hypothesis$ = その環境変化予測がシルクエイドであるとしたらこのかっちょは準備するけれどそわそわしない ; $proof$ = 
void -> assump2: 以下のように仮定する。「このかっちょは準備するがそれはそわそわしない」ということは誤りである; fact7 & assump2 -> int1: その環境変化予測はシルクエイドでない; void -> assump1: 以下のように仮定する。その環境変化予測はシルクエイドだ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: このかっちょは準備するがしかしそれはそわそわしない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「このかっちょが寝苦しいしその上それは教え始める」ということは誤りならばキープ出来ない
事実2: 「このかっちょが胡散臭くないならあの王墓はうら若いしまたシルクエイドである」ということは本当だ
事実3: 「このかっちょはキープ出来ない」ということは本当だとすればそれが核戦争後だしそれは差し入る
事実4: もしなにかは差し入るとすると分かち難くない
事実5: 「このかっちょは瑞々しくない」ということは真実である
事実6: もしこのかっちょは瑞々しくないなら「それは寝苦しいし教え始める」ということは間違いだ
事実7: もし「「このかっちょは準備するけどそわそわしない」ということは事実である」ということは誤っているならばあの環境変化予測はシルクエイドでない
事実8: なにかはうら若いとすると「スイングするしまたそれは準備しない」ということは誤りである
事実9: 分かち難くない物は胡散臭くないし硬化しない
事実10: このかっちょは準備しない

仮説: その環境変化予測がシルクエイドであるとしたらこのかっちょは準備するけれどそわそわしない
1. 仮定2: 以下のように仮定する。「このかっちょは準備するがそれはそわそわしない」ということは誤りである
2. 事実7と仮定2から、推論1: "その環境変化予測はシルクエイドでない"が導かれる
3. 仮定1: 以下のように仮定する。その環境変化予測はシルクエイドだ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "このかっちょは準備するがしかしそれはそわそわしない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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