「心苦しくないけど探検する」物はある
fact1: もし仮にこの温存がおもろくないとしたらそれは探検する fact2: 「この枯れ葉は易しないけど御止めに成る」ということは成り立たない fact3: 「「腫れぼったくて更に涙ぐましい」ということは間違っていない」ものはある fact4: 「この温存は探検しない」ということは間違いである fact5: 言い辛くない物は一視するが徴収出来ない fact6: もしも何らかの物は一視するが徴収出来るということはないとすれば学長秘書であるということはない fact7: もしこの枯れ葉が易しとするとこの温存はおもろくない fact8: もし仮に「あるものは探検するかあるいはおもろくないか両方ともである」ということは真実でないならば「心苦しい」ということは事実だ fact9: もしもこの枯れ葉が心苦しいとすればこの温存は活用し易くない fact10: もしあるものは学長秘書でないなら「探検するかまたはおもろくないかあるいは両方である」ということは成り立たない fact11: 「もし仮に「この枯れ葉は易しないが御止めに成る」ということは誤っていればこの温存はおもろくない」ということは成り立つ fact12: 仮に何らかのものがおもろくないとすれば心苦しいということはないが探検する fact13: この温存は捨て難くない
fact11 & fact2 -> int1: この温存はおもろいということはない; fact12 -> int2: 「この温存はおもろくない」ということは成り立つとしたら心苦しくなくて探検する; int1 & int2 -> int3: この温存は心苦しくないがそれは探検する; int3 -> hypothesis;
fact11 & fact2 -> int1: ¬{B}{b}; fact12 -> int2: ¬{B}{b} -> (¬{A}{b} & {C}{b}); int1 & int2 -> int3: (¬{A}{b} & {C}{b}); int3 -> hypothesis;
この温存は活用し易いということはない
fact18 -> int4: もし「この枯れ葉は探検するかまたはそれはおもろくない」ということは間違いだとしたら心苦しい; fact16 -> int5: この枯れ葉は学長秘書でないとすれば「「それは探検するかおもろくないかあるいは両方である」ということは真実だ」ということは偽だ; fact17 -> int6: この枯れ葉は一視する一方で徴収出来ないとしたらそれは学長秘書でない; fact14 -> int7: この枯れ葉が言い辛くないならば一視するけど徴収出来ない;
$facts$ = fact1: もし仮にこの温存がおもろくないとしたらそれは探検する fact2: 「この枯れ葉は易しないけど御止めに成る」ということは成り立たない fact3: 「「腫れぼったくて更に涙ぐましい」ということは間違っていない」ものはある fact4: 「この温存は探検しない」ということは間違いである fact5: 言い辛くない物は一視するが徴収出来ない fact6: もしも何らかの物は一視するが徴収出来るということはないとすれば学長秘書であるということはない fact7: もしこの枯れ葉が易しとするとこの温存はおもろくない fact8: もし仮に「あるものは探検するかあるいはおもろくないか両方ともである」ということは真実でないならば「心苦しい」ということは事実だ fact9: もしもこの枯れ葉が心苦しいとすればこの温存は活用し易くない fact10: もしあるものは学長秘書でないなら「探検するかまたはおもろくないかあるいは両方である」ということは成り立たない fact11: 「もし仮に「この枯れ葉は易しないが御止めに成る」ということは誤っていればこの温存はおもろくない」ということは成り立つ fact12: 仮に何らかのものがおもろくないとすれば心苦しいということはないが探検する fact13: この温存は捨て難くない ; $hypothesis$ = 「心苦しくないけど探検する」物はある ; $proof$ = 
fact11 & fact2 -> int1: この温存はおもろいということはない; fact12 -> int2: 「この温存はおもろくない」ということは成り立つとしたら心苦しくなくて探検する; int1 & int2 -> int3: この温存は心苦しくないがそれは探検する; int3 -> hypothesis; __PROVED__
事実1: もし仮にこの温存がおもろくないとしたらそれは探検する
事実2: 「この枯れ葉は易しないけど御止めに成る」ということは成り立たない
事実3: 「「腫れぼったくて更に涙ぐましい」ということは間違っていない」ものはある
事実4: 「この温存は探検しない」ということは間違いである
事実5: 言い辛くない物は一視するが徴収出来ない
事実6: もしも何らかの物は一視するが徴収出来るということはないとすれば学長秘書であるということはない
事実7: もしこの枯れ葉が易しとするとこの温存はおもろくない
事実8: もし仮に「あるものは探検するかあるいはおもろくないか両方ともである」ということは真実でないならば「心苦しい」ということは事実だ
事実9: もしもこの枯れ葉が心苦しいとすればこの温存は活用し易くない
事実10: もしあるものは学長秘書でないなら「探検するかまたはおもろくないかあるいは両方である」ということは成り立たない
事実11: 「もし仮に「この枯れ葉は易しないが御止めに成る」ということは誤っていればこの温存はおもろくない」ということは成り立つ
事実12: 仮に何らかのものがおもろくないとすれば心苦しいということはないが探検する
事実13: この温存は捨て難くない

仮説: 「心苦しくないけど探検する」物はある
1. 事実11と事実2から、推論1: "この温存はおもろいということはない"が導かれる
2. 事実12から、推論2: "「この温存はおもろくない」ということは成り立つとしたら心苦しくなくて探検する"が導かれる
3. 推論1と推論2から、推論3: "この温存は心苦しくないがそれは探検する"が導かれる
4. 推論3から、仮説が導かれる

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