この初誕生日は軟らかいかあるいはそれは下宿代であるかあるいは両方ともである
fact1: 熱苦しいものは軟らかい fact2: もしもあの港湾整備は活動し難くないならば「その出来っこは熱苦しいしそれはこせこせする」ということは間違いだ fact3: 仮にこの世界市場がこせこせしないが熱苦しいとしたらこの初誕生日は金毘羅さんであるということはない fact4: もしこの初誕生日が金毘羅さんでないならあのオントローギッシュは黄色いしその上自然らしい fact5: 「あの港湾整備は塾れないけれどそれは骨っぽい」ということは嘘だとすれば活動し難くない fact6: 「あの港湾整備は青白いということはない」ということは事実と異なるということはないなら「塾れなくてそれは骨っぽい」ということは成り立たない fact7: もしも「「熱苦しいしこせこせする」ということは確かでない」物があるとしたらあの薩摩芋は金毘羅さんでない fact8: 仮にこの世界市場が自然らしいならこの初誕生日は活動し難い fact9: 仮に「この世界市場は活動し難くないしそれは金毘羅さんでない」ということは事実と異なるとすればこの授業書は金毘羅さんである fact10: 仮になにかは黄色くないとすれば金毘羅さんでない fact11: あの港湾整備は青白くない fact12: もし仮に何かは自然らしいとしたら「それは総括しないかもしくはＡＡＡＡでないかまたはどちらもである」ということは事実と異なる fact13: もしも「この初誕生日は自然らしいということはないかあるいはこせこせしないか両方ともだ」ということは本当でないとしたら「熱苦しい」ということは成り立つ fact14: もし仮にこの授業書は黄色いとしたら「この初誕生日は自然らしくないかこせこせするということはないか両方だ」ということは偽である fact15: 「この世界市場は活動し難くないしそれにそれは金毘羅さんでない」ということは誤っている
fact10 -> int1: 仮にこの授業書が黄色いということはないとすれば金毘羅さんでない; void -> assump1: 以下のように仮定する。この授業書は黄色くない; int1 & assump1 -> int2: この授業書は金毘羅さんでない; fact15 & fact9 -> int3: この授業書は金毘羅さんだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この授業書は黄色い; int5 & fact14 -> int6: 「この初誕生日は自然らしくないかこせこせしないかあるいは両方だ」ということは間違いだ; int6 & fact13 -> int7: 「この初誕生日は熱苦しい」ということは本当だ; fact1 -> int8: もしこの初誕生日が熱苦しいなら軟らかい; int7 & int8 -> int9: この初誕生日は軟らかい; int9 -> hypothesis;
「あのオントローギッシュは総括しないかもしくはＡＡＡＡであるということはないかどちらもである」ということは事実と異なる
fact18 -> int10: もしあのオントローギッシュは自然らしいならば「それは総括しないかあるいはＡＡＡＡでない」ということは成り立たない;
$facts$ = fact1: 熱苦しいものは軟らかい fact2: もしもあの港湾整備は活動し難くないならば「その出来っこは熱苦しいしそれはこせこせする」ということは間違いだ fact3: 仮にこの世界市場がこせこせしないが熱苦しいとしたらこの初誕生日は金毘羅さんであるということはない fact4: もしこの初誕生日が金毘羅さんでないならあのオントローギッシュは黄色いしその上自然らしい fact5: 「あの港湾整備は塾れないけれどそれは骨っぽい」ということは嘘だとすれば活動し難くない fact6: 「あの港湾整備は青白いということはない」ということは事実と異なるということはないなら「塾れなくてそれは骨っぽい」ということは成り立たない fact7: もしも「「熱苦しいしこせこせする」ということは確かでない」物があるとしたらあの薩摩芋は金毘羅さんでない fact8: 仮にこの世界市場が自然らしいならこの初誕生日は活動し難い fact9: 仮に「この世界市場は活動し難くないしそれは金毘羅さんでない」ということは事実と異なるとすればこの授業書は金毘羅さんである fact10: 仮になにかは黄色くないとすれば金毘羅さんでない fact11: あの港湾整備は青白くない fact12: もし仮に何かは自然らしいとしたら「それは総括しないかもしくはＡＡＡＡでないかまたはどちらもである」ということは事実と異なる fact13: もしも「この初誕生日は自然らしいということはないかあるいはこせこせしないか両方ともだ」ということは本当でないとしたら「熱苦しい」ということは成り立つ fact14: もし仮にこの授業書は黄色いとしたら「この初誕生日は自然らしくないかこせこせするということはないか両方だ」ということは偽である fact15: 「この世界市場は活動し難くないしそれにそれは金毘羅さんでない」ということは誤っている ; $hypothesis$ = この初誕生日は軟らかいかあるいはそれは下宿代であるかあるいは両方ともである ; $proof$ = 
fact10 -> int1: 仮にこの授業書が黄色いということはないとすれば金毘羅さんでない; void -> assump1: 以下のように仮定する。この授業書は黄色くない; int1 & assump1 -> int2: この授業書は金毘羅さんでない; fact15 & fact9 -> int3: この授業書は金毘羅さんだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この授業書は黄色い; int5 & fact14 -> int6: 「この初誕生日は自然らしくないかこせこせしないかあるいは両方だ」ということは間違いだ; int6 & fact13 -> int7: 「この初誕生日は熱苦しい」ということは本当だ; fact1 -> int8: もしこの初誕生日が熱苦しいなら軟らかい; int7 & int8 -> int9: この初誕生日は軟らかい; int9 -> hypothesis; __PROVED__
事実1: 熱苦しいものは軟らかい
事実2: もしもあの港湾整備は活動し難くないならば「その出来っこは熱苦しいしそれはこせこせする」ということは間違いだ
事実3: 仮にこの世界市場がこせこせしないが熱苦しいとしたらこの初誕生日は金毘羅さんであるということはない
事実4: もしこの初誕生日が金毘羅さんでないならあのオントローギッシュは黄色いしその上自然らしい
事実5: 「あの港湾整備は塾れないけれどそれは骨っぽい」ということは嘘だとすれば活動し難くない
事実6: 「あの港湾整備は青白いということはない」ということは事実と異なるということはないなら「塾れなくてそれは骨っぽい」ということは成り立たない
事実7: もしも「「熱苦しいしこせこせする」ということは確かでない」物があるとしたらあの薩摩芋は金毘羅さんでない
事実8: 仮にこの世界市場が自然らしいならこの初誕生日は活動し難い
事実9: 仮に「この世界市場は活動し難くないしそれは金毘羅さんでない」ということは事実と異なるとすればこの授業書は金毘羅さんである
事実10: 仮になにかは黄色くないとすれば金毘羅さんでない
事実11: あの港湾整備は青白くない
事実12: もし仮に何かは自然らしいとしたら「それは総括しないかもしくはＡＡＡＡでないかまたはどちらもである」ということは事実と異なる
事実13: もしも「この初誕生日は自然らしいということはないかあるいはこせこせしないか両方ともだ」ということは本当でないとしたら「熱苦しい」ということは成り立つ
事実14: もし仮にこの授業書は黄色いとしたら「この初誕生日は自然らしくないかこせこせするということはないか両方だ」ということは偽である
事実15: 「この世界市場は活動し難くないしそれにそれは金毘羅さんでない」ということは誤っている

仮説: この初誕生日は軟らかいかあるいはそれは下宿代であるかあるいは両方ともである
1. 事実10から、推論1: "仮にこの授業書が黄色いということはないとすれば金毘羅さんでない"が導かれる
2. 仮定1: 以下のように仮定する。この授業書は黄色くない
3. 推論1と仮定1から、推論2: "この授業書は金毘羅さんでない"が導かれる
4. 事実15と事実9から、推論3: "この授業書は金毘羅さんだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この授業書は黄色い"が導かれる
7. 推論5と事実14から、推論6: "「この初誕生日は自然らしくないかこせこせしないかあるいは両方だ」ということは間違いだ"が導かれる
8. 推論6と事実13から、推論7: "「この初誕生日は熱苦しい」ということは本当だ"が導かれる
9. 事実1から、推論8: "もしこの初誕生日が熱苦しいなら軟らかい"が導かれる
10. 推論7と推論8から、推論9: "この初誕生日は軟らかい"が導かれる
11. 推論9から、仮説が導かれる

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