とあるものは奥床しくないかそれは亜熱帯気候でないかまたは両方ともだ
fact1: 「亜熱帯気候は想起しないし懐かしくない」ということは真実である fact2: 「書き難くないけれど譲渡対価な」物はある fact3: もし「この型付きモデルは述べ立てないし加えて自己でない」ということは間違っているとしたらそれはあどけない fact4: 「譲渡対価である」ものはある fact5: 仮にこの型付きモデルが譲渡対価であるか書き難くないとすればその筆箱は深し fact6: 仮になにがしかの物が生じ難くないとするとそれは譲渡対価であるかもしくは書き難くないかあるいは両方である fact7: 「奥床しくないかあるいは亜熱帯気候であるかまたはどちらもである」物はある fact8: もしこの型付きモデルは自己であるとすればそれは深し fact9: 「この型付きモデルは奥床しくないけれど自己である」ということは偽だ fact10: この型付きモデルは奥床しいかもしくは亜熱帯気候でない fact11: もし仮に「この型付きモデルは奥床しくないしその上自己でない」ということは事実と異なるとすれば深し fact12: 深し物は亜熱帯気候である fact13: この型付きモデルは奥床しくないかもしくはそれは亜熱帯気候であるかあるいは両方ともだ fact14: 書き難くない物が譲渡対価であるならばこの型付きモデルは深しない
void -> assump1: 以下のように仮定する。「この型付きモデルは奥床しくなくて自己でない」ということは誤りだ; fact11 & assump1 -> int1: この型付きモデルは深し; fact2 & fact14 -> int2: この型付きモデルは深しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この型付きモデルは奥床しいということはなくてまた自己でない」ということは真実である; int4 -> int5: この型付きモデルは奥床しくない; int5 -> int6: この型付きモデルは奥床しくないか亜熱帯気候だということはない; int6 -> hypothesis;
その筆箱は想起しないしまた懐かしくない
fact15 -> int7: 「その筆箱は亜熱帯気候だ」ということは確かであるなら想起するということはないしその上それは懐かしくない; fact18 -> int8: 仮にその筆箱が深しとすると亜熱帯気候である; fact16 -> int9: もしも「この型付きモデルは生じ難くない」ということは事実であるとすれば譲渡対価であるかもしくは書き難いということはないかまたは両方だ;
$facts$ = fact1: 「亜熱帯気候は想起しないし懐かしくない」ということは真実である fact2: 「書き難くないけれど譲渡対価な」物はある fact3: もし「この型付きモデルは述べ立てないし加えて自己でない」ということは間違っているとしたらそれはあどけない fact4: 「譲渡対価である」ものはある fact5: 仮にこの型付きモデルが譲渡対価であるか書き難くないとすればその筆箱は深し fact6: 仮になにがしかの物が生じ難くないとするとそれは譲渡対価であるかもしくは書き難くないかあるいは両方である fact7: 「奥床しくないかあるいは亜熱帯気候であるかまたはどちらもである」物はある fact8: もしこの型付きモデルは自己であるとすればそれは深し fact9: 「この型付きモデルは奥床しくないけれど自己である」ということは偽だ fact10: この型付きモデルは奥床しいかもしくは亜熱帯気候でない fact11: もし仮に「この型付きモデルは奥床しくないしその上自己でない」ということは事実と異なるとすれば深し fact12: 深し物は亜熱帯気候である fact13: この型付きモデルは奥床しくないかもしくはそれは亜熱帯気候であるかあるいは両方ともだ fact14: 書き難くない物が譲渡対価であるならばこの型付きモデルは深しない ; $hypothesis$ = とあるものは奥床しくないかそれは亜熱帯気候でないかまたは両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この型付きモデルは奥床しくなくて自己でない」ということは誤りだ; fact11 & assump1 -> int1: この型付きモデルは深し; fact2 & fact14 -> int2: この型付きモデルは深しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この型付きモデルは奥床しいということはなくてまた自己でない」ということは真実である; int4 -> int5: この型付きモデルは奥床しくない; int5 -> int6: この型付きモデルは奥床しくないか亜熱帯気候だということはない; int6 -> hypothesis; __PROVED__
事実1: 「亜熱帯気候は想起しないし懐かしくない」ということは真実である
事実2: 「書き難くないけれど譲渡対価な」物はある
事実3: もし「この型付きモデルは述べ立てないし加えて自己でない」ということは間違っているとしたらそれはあどけない
事実4: 「譲渡対価である」ものはある
事実5: 仮にこの型付きモデルが譲渡対価であるか書き難くないとすればその筆箱は深し
事実6: 仮になにがしかの物が生じ難くないとするとそれは譲渡対価であるかもしくは書き難くないかあるいは両方である
事実7: 「奥床しくないかあるいは亜熱帯気候であるかまたはどちらもである」物はある
事実8: もしこの型付きモデルは自己であるとすればそれは深し
事実9: 「この型付きモデルは奥床しくないけれど自己である」ということは偽だ
事実10: この型付きモデルは奥床しいかもしくは亜熱帯気候でない
事実11: もし仮に「この型付きモデルは奥床しくないしその上自己でない」ということは事実と異なるとすれば深し
事実12: 深し物は亜熱帯気候である
事実13: この型付きモデルは奥床しくないかもしくはそれは亜熱帯気候であるかあるいは両方ともだ
事実14: 書き難くない物が譲渡対価であるならばこの型付きモデルは深しない

仮説: とあるものは奥床しくないかそれは亜熱帯気候でないかまたは両方ともだ
1. 仮定1: 以下のように仮定する。「この型付きモデルは奥床しくなくて自己でない」ということは誤りだ
2. 事実11と仮定1から、推論1: "この型付きモデルは深し"が導かれる
3. 事実2と事実14から、推論2: "この型付きモデルは深しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この型付きモデルは奥床しいということはなくてまた自己でない」ということは真実である"が導かれる
6. 推論4から、推論5: "この型付きモデルは奥床しくない"が導かれる
7. 推論5から、推論6: "この型付きモデルは奥床しくないか亜熱帯気候だということはない"が導かれる
8. 推論6から、仮説が導かれる

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