「「あの説明会は御楽しみ頂けるということはないけど傷付け易い」ということは確かだ」ということは成り立たない
fact1: あの年降水量が喜び勇むならこの実行時はスポーツシューズであるけれどガラクトース残基でない fact2: もし仮に「「喜び勇まないけれどガラクトース残基である」ということは事実と異なる」物があるとしたらこの各分会はガラクトース残基でない fact3: もし仮にそのヒップ・ターン・プログラムは傷付け易くないとしたら「あの説明会は御楽しみ頂けるしそれは傷付け易い」ということは事実と異なる fact4: 「この実行時は地下深くて加えて透視能力だ」ということは成り立たない fact5: もし仮にそのヒップ・ターン・プログラムがガラクトース残基でなくてかつそれが戻り為さらないとするとあの説明会はガラクトース残基であるということはない fact6: 「「喜び勇むということはないけれどガラクトース残基だ」ということは間違いな」物はある fact7: もしこの実行時はスポーツシューズであるがガラクトース残基であるということはないならば「そのヒップ・ターン・プログラムはガラクトース残基でない」ということは成り立つ fact8: 仮にそのヒップ・ターン・プログラムは傷付け易いとしたら「この実行時は地下深くない透視能力である」ということは間違いだ fact9: もしも「この実行時は地下深い」ということは確かだとしたらこの各分会はガラクトース残基だ fact10: あの説明会は喜び勇まない fact11: 「この実行時は地下深くない一方で透視能力である」ということは間違っているとすればあの各分会はガラクトース残基である fact12: 「あの説明会は御楽しみ頂けるし傷付け易い」ということは誤りである fact13: 「「喜び勇むしおまけにガラクトース残基である」ということは嘘な」ものはある fact14: 仮にとあるものはガラクトース残基でないならばそれは御楽しみ頂けないけれど傷付け易い fact15: なにがしかの物は喜び勇まないがガラクトース残基だ fact16: そのヒップ・ターン・プログラムは傷付け易いということはないとしたら「あの説明会は御楽しみ頂けないけれど傷付け易い」ということは嘘である fact17: もしも「ガラクトース残基でない」物があるとするとこの各分会はガラクトース残基でない
void -> assump1: 以下のように仮定する。そのヒップ・ターン・プログラムは傷付け易い; fact8 & assump1 -> int1: 「この実行時は地下深くないが透視能力である」ということは成り立たない; int1 & fact11 -> int2: この各分会はガラクトース残基だ; fact6 & fact2 -> int3: この各分会はガラクトース残基でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのヒップ・ターン・プログラムは傷付け易くない」ということは真実である; int5 & fact16 -> hypothesis;
あの説明会は御楽しみ頂けるということはないが傷付け易い
fact19 -> int6: 仮にあの説明会はガラクトース残基でないなら御楽しみ頂けるということはない一方で傷付け易い;
$facts$ = fact1: あの年降水量が喜び勇むならこの実行時はスポーツシューズであるけれどガラクトース残基でない fact2: もし仮に「「喜び勇まないけれどガラクトース残基である」ということは事実と異なる」物があるとしたらこの各分会はガラクトース残基でない fact3: もし仮にそのヒップ・ターン・プログラムは傷付け易くないとしたら「あの説明会は御楽しみ頂けるしそれは傷付け易い」ということは事実と異なる fact4: 「この実行時は地下深くて加えて透視能力だ」ということは成り立たない fact5: もし仮にそのヒップ・ターン・プログラムがガラクトース残基でなくてかつそれが戻り為さらないとするとあの説明会はガラクトース残基であるということはない fact6: 「「喜び勇むということはないけれどガラクトース残基だ」ということは間違いな」物はある fact7: もしこの実行時はスポーツシューズであるがガラクトース残基であるということはないならば「そのヒップ・ターン・プログラムはガラクトース残基でない」ということは成り立つ fact8: 仮にそのヒップ・ターン・プログラムは傷付け易いとしたら「この実行時は地下深くない透視能力である」ということは間違いだ fact9: もしも「この実行時は地下深い」ということは確かだとしたらこの各分会はガラクトース残基だ fact10: あの説明会は喜び勇まない fact11: 「この実行時は地下深くない一方で透視能力である」ということは間違っているとすればあの各分会はガラクトース残基である fact12: 「あの説明会は御楽しみ頂けるし傷付け易い」ということは誤りである fact13: 「「喜び勇むしおまけにガラクトース残基である」ということは嘘な」ものはある fact14: 仮にとあるものはガラクトース残基でないならばそれは御楽しみ頂けないけれど傷付け易い fact15: なにがしかの物は喜び勇まないがガラクトース残基だ fact16: そのヒップ・ターン・プログラムは傷付け易いということはないとしたら「あの説明会は御楽しみ頂けないけれど傷付け易い」ということは嘘である fact17: もしも「ガラクトース残基でない」物があるとするとこの各分会はガラクトース残基でない ; $hypothesis$ = 「「あの説明会は御楽しみ頂けるということはないけど傷付け易い」ということは確かだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのヒップ・ターン・プログラムは傷付け易い; fact8 & assump1 -> int1: 「この実行時は地下深くないが透視能力である」ということは成り立たない; int1 & fact11 -> int2: この各分会はガラクトース残基だ; fact6 & fact2 -> int3: この各分会はガラクトース残基でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのヒップ・ターン・プログラムは傷付け易くない」ということは真実である; int5 & fact16 -> hypothesis; __PROVED__
事実1: あの年降水量が喜び勇むならこの実行時はスポーツシューズであるけれどガラクトース残基でない
事実2: もし仮に「「喜び勇まないけれどガラクトース残基である」ということは事実と異なる」物があるとしたらこの各分会はガラクトース残基でない
事実3: もし仮にそのヒップ・ターン・プログラムは傷付け易くないとしたら「あの説明会は御楽しみ頂けるしそれは傷付け易い」ということは事実と異なる
事実4: 「この実行時は地下深くて加えて透視能力だ」ということは成り立たない
事実5: もし仮にそのヒップ・ターン・プログラムがガラクトース残基でなくてかつそれが戻り為さらないとするとあの説明会はガラクトース残基であるということはない
事実6: 「「喜び勇むということはないけれどガラクトース残基だ」ということは間違いな」物はある
事実7: もしこの実行時はスポーツシューズであるがガラクトース残基であるということはないならば「そのヒップ・ターン・プログラムはガラクトース残基でない」ということは成り立つ
事実8: 仮にそのヒップ・ターン・プログラムは傷付け易いとしたら「この実行時は地下深くない透視能力である」ということは間違いだ
事実9: もしも「この実行時は地下深い」ということは確かだとしたらこの各分会はガラクトース残基だ
事実10: あの説明会は喜び勇まない
事実11: 「この実行時は地下深くない一方で透視能力である」ということは間違っているとすればあの各分会はガラクトース残基である
事実12: 「あの説明会は御楽しみ頂けるし傷付け易い」ということは誤りである
事実13: 「「喜び勇むしおまけにガラクトース残基である」ということは嘘な」ものはある
事実14: 仮にとあるものはガラクトース残基でないならばそれは御楽しみ頂けないけれど傷付け易い
事実15: なにがしかの物は喜び勇まないがガラクトース残基だ
事実16: そのヒップ・ターン・プログラムは傷付け易いということはないとしたら「あの説明会は御楽しみ頂けないけれど傷付け易い」ということは嘘である
事実17: もしも「ガラクトース残基でない」物があるとするとこの各分会はガラクトース残基でない

仮説: 「「あの説明会は御楽しみ頂けるということはないけど傷付け易い」ということは確かだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのヒップ・ターン・プログラムは傷付け易い
2. 事実8と仮定1から、推論1: "「この実行時は地下深くないが透視能力である」ということは成り立たない"が導かれる
3. 推論1と事実11から、推論2: "この各分会はガラクトース残基だ"が導かれる
4. 事実6と事実2から、推論3: "この各分会はガラクトース残基でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「そのヒップ・ターン・プログラムは傷付け易くない」ということは真実である"が導かれる
7. 推論5と事実16から、仮説が導かれる

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