この銅線は陥り易くない
fact1: 仮に「あの三国間貿易は画面右でないかまたは出歩かないかもしくは両方ともだ」ということは偽であるとしたら捗々しくない fact2: もし仮にその沖縄学童が画面右であるしおまけに会話らしいとしたらこの各岩相は狂おしくない fact3: もし仮に何かは画面右であるということはないならそれは出歩くかもしくはそれは陥り易い fact4: その沖縄学童が画面右だしその上出歩く fact5: もしもその沖縄学童が陥り易いならこの銅線は陥り易い fact6: その沖縄学童は出歩く fact7: 狂おしい物は会話らしいということはないしその上画面右でない fact8: もし仮に「あの三国間貿易は狂おしくなくてその上それは地中深いということはない」ということは誤っているならこの銅線は陥り易くない fact9: その沖縄学童は捗々しい fact10: もしこの各岩相は狂おしくないなら「あの三国間貿易は狂おしいが地中深くない」ということは成り立たない fact11: もしあの三国間貿易が狂おしいとしたらこの銅線は陥り易くない fact12: 仮にこの各岩相は狂おしくないとすると「あの三国間貿易は狂おしくないし地中深くない」ということは誤っている fact13: 仮にあの三国間貿易が狂おしいならこの各岩相は狂おしい fact14: その沖縄学童は捗々しいしそれは会話らしい fact15: 「あの三国間貿易は狂おしい一方で地中深いということはない」ということは事実と異なる
fact4 -> int1: その沖縄学童は画面右だ; fact14 -> int2: その沖縄学童は会話らしい; int1 & int2 -> int3: その沖縄学童は画面右で更に会話らしい; int3 & fact2 -> int4: この各岩相は狂おしくない; int4 & fact12 -> int5: 「あの三国間貿易は狂おしいということはなくて地中深くない」ということは誤りだ; int5 & fact8 -> hypothesis;
あの三国間貿易は捗々しくない
$facts$ = fact1: 仮に「あの三国間貿易は画面右でないかまたは出歩かないかもしくは両方ともだ」ということは偽であるとしたら捗々しくない fact2: もし仮にその沖縄学童が画面右であるしおまけに会話らしいとしたらこの各岩相は狂おしくない fact3: もし仮に何かは画面右であるということはないならそれは出歩くかもしくはそれは陥り易い fact4: その沖縄学童が画面右だしその上出歩く fact5: もしもその沖縄学童が陥り易いならこの銅線は陥り易い fact6: その沖縄学童は出歩く fact7: 狂おしい物は会話らしいということはないしその上画面右でない fact8: もし仮に「あの三国間貿易は狂おしくなくてその上それは地中深いということはない」ということは誤っているならこの銅線は陥り易くない fact9: その沖縄学童は捗々しい fact10: もしこの各岩相は狂おしくないなら「あの三国間貿易は狂おしいが地中深くない」ということは成り立たない fact11: もしあの三国間貿易が狂おしいとしたらこの銅線は陥り易くない fact12: 仮にこの各岩相は狂おしくないとすると「あの三国間貿易は狂おしくないし地中深くない」ということは誤っている fact13: 仮にあの三国間貿易が狂おしいならこの各岩相は狂おしい fact14: その沖縄学童は捗々しいしそれは会話らしい fact15: 「あの三国間貿易は狂おしい一方で地中深いということはない」ということは事実と異なる ; $hypothesis$ = この銅線は陥り易くない ; $proof$ = 
fact4 -> int1: その沖縄学童は画面右だ; fact14 -> int2: その沖縄学童は会話らしい; int1 & int2 -> int3: その沖縄学童は画面右で更に会話らしい; int3 & fact2 -> int4: この各岩相は狂おしくない; int4 & fact12 -> int5: 「あの三国間貿易は狂おしいということはなくて地中深くない」ということは誤りだ; int5 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「あの三国間貿易は画面右でないかまたは出歩かないかもしくは両方ともだ」ということは偽であるとしたら捗々しくない
事実2: もし仮にその沖縄学童が画面右であるしおまけに会話らしいとしたらこの各岩相は狂おしくない
事実3: もし仮に何かは画面右であるということはないならそれは出歩くかもしくはそれは陥り易い
事実4: その沖縄学童が画面右だしその上出歩く
事実5: もしもその沖縄学童が陥り易いならこの銅線は陥り易い
事実6: その沖縄学童は出歩く
事実7: 狂おしい物は会話らしいということはないしその上画面右でない
事実8: もし仮に「あの三国間貿易は狂おしくなくてその上それは地中深いということはない」ということは誤っているならこの銅線は陥り易くない
事実9: その沖縄学童は捗々しい
事実10: もしこの各岩相は狂おしくないなら「あの三国間貿易は狂おしいが地中深くない」ということは成り立たない
事実11: もしあの三国間貿易が狂おしいとしたらこの銅線は陥り易くない
事実12: 仮にこの各岩相は狂おしくないとすると「あの三国間貿易は狂おしくないし地中深くない」ということは誤っている
事実13: 仮にあの三国間貿易が狂おしいならこの各岩相は狂おしい
事実14: その沖縄学童は捗々しいしそれは会話らしい
事実15: 「あの三国間貿易は狂おしい一方で地中深いということはない」ということは事実と異なる

仮説: この銅線は陥り易くない
1. 事実4から、推論1: "その沖縄学童は画面右だ"が導かれる
2. 事実14から、推論2: "その沖縄学童は会話らしい"が導かれる
3. 推論1と推論2から、推論3: "その沖縄学童は画面右で更に会話らしい"が導かれる
4. 推論3と事実2から、推論4: "この各岩相は狂おしくない"が導かれる
5. 推論4と事実12から、推論5: "「あの三国間貿易は狂おしいということはなくて地中深くない」ということは誤りだ"が導かれる
6. 推論5と事実8から、仮説が導かれる

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