あの北政所はつとしない
fact1: 仮になにがしかのものがオーバーシュートしないなら新米であるかあるいは確認し得ないかもしくはどちらもだ fact2: もしこの普通預金が新米であるかもしくはそれは確認し得ないとすれば「あの北政所はつとしない」ということは真実だ fact3: この硝化は進呈するけど仕分け帳でない fact4: 「重点化である」物はある fact5: もしもこのＪＲＵが物欲しいかもしくはそれは研究し尽くさないとしたら「この硝化は関連痛だ」ということは誤っているということはない fact6: もしも「重点化な」ものはあるなら「その模索は剥離しないが結び付き易い」ということは成り立たない fact7: もしもこの硝化が関連痛だけど浮き易くないならこの普通預金はオーバーシュートしない fact8: このＪＲＵは物欲しいかあるいは研究し尽くすかまたはどちらもだ fact9: もしも「その模索は剥離しないがしかし結び付き易い」ということは誤りであるならばあのＪＲＵは曇り無しということはない fact10: このＪＲＵは結び付き易いかまたは物欲しかないかあるいはどちらもである fact11: もし仮になにかはオーバーシュートするということはないならば新米であるかあるいは確認し得るか両方ともだ fact12: もしこの普通預金は確認し得るということはないとしたらあの北政所はつとしない fact13: もしもこの硝化が進呈するがそれは仕分け帳でないとすると「浮き易くない」ということは成り立つ fact14: 曇り無しということはないものは物欲しいか研究し尽くしないかもしくは両方ともである
fact4 & fact6 -> int1: 「「その模索は剥離しない一方でそれは結び付き易い」ということは嘘である」ということは事実である; int1 & fact9 -> int2: 「このＪＲＵは曇り無しない」ということは事実だ; fact14 -> int3: もしこのＪＲＵが曇り無しないとすると物欲しいかまたはそれは研究し尽くしないかもしくは両方である; int2 & int3 -> int4: このＪＲＵは物欲しいかそれは研究し尽くしないかもしくは両方ともだ; int4 & fact5 -> int5: この硝化は関連痛である; fact13 & fact3 -> int6: この硝化は浮き易くない; int5 & int6 -> int7: この硝化は関連痛だ一方で浮き易くない; int7 & fact7 -> int8: 「この普通預金はオーバーシュートしない」ということは本当だ; fact1 -> int9: もしも「この普通預金はオーバーシュートしない」ということは本当だとしたらそれは新米であるかあるいは確認し得ないかまたは両方ともだ; int8 & int9 -> int10: 「この普通預金は新米であるかまたは確認し得ないかあるいは両方である」ということは確かである; int10 & fact2 -> hypothesis;
$facts$ = fact1: 仮になにがしかのものがオーバーシュートしないなら新米であるかあるいは確認し得ないかもしくはどちらもだ fact2: もしこの普通預金が新米であるかもしくはそれは確認し得ないとすれば「あの北政所はつとしない」ということは真実だ fact3: この硝化は進呈するけど仕分け帳でない fact4: 「重点化である」物はある fact5: もしもこのＪＲＵが物欲しいかもしくはそれは研究し尽くさないとしたら「この硝化は関連痛だ」ということは誤っているということはない fact6: もしも「重点化な」ものはあるなら「その模索は剥離しないが結び付き易い」ということは成り立たない fact7: もしもこの硝化が関連痛だけど浮き易くないならこの普通預金はオーバーシュートしない fact8: このＪＲＵは物欲しいかあるいは研究し尽くすかまたはどちらもだ fact9: もしも「その模索は剥離しないがしかし結び付き易い」ということは誤りであるならばあのＪＲＵは曇り無しということはない fact10: このＪＲＵは結び付き易いかまたは物欲しかないかあるいはどちらもである fact11: もし仮になにかはオーバーシュートするということはないならば新米であるかあるいは確認し得るか両方ともだ fact12: もしこの普通預金は確認し得るということはないとしたらあの北政所はつとしない fact13: もしもこの硝化が進呈するがそれは仕分け帳でないとすると「浮き易くない」ということは成り立つ fact14: 曇り無しということはないものは物欲しいか研究し尽くしないかもしくは両方ともである ; $hypothesis$ = あの北政所はつとしない ; $proof$ = 
fact4 & fact6 -> int1: 「「その模索は剥離しない一方でそれは結び付き易い」ということは嘘である」ということは事実である; int1 & fact9 -> int2: 「このＪＲＵは曇り無しない」ということは事実だ; fact14 -> int3: もしこのＪＲＵが曇り無しないとすると物欲しいかまたはそれは研究し尽くしないかもしくは両方である; int2 & int3 -> int4: このＪＲＵは物欲しいかそれは研究し尽くしないかもしくは両方ともだ; int4 & fact5 -> int5: この硝化は関連痛である; fact13 & fact3 -> int6: この硝化は浮き易くない; int5 & int6 -> int7: この硝化は関連痛だ一方で浮き易くない; int7 & fact7 -> int8: 「この普通預金はオーバーシュートしない」ということは本当だ; fact1 -> int9: もしも「この普通預金はオーバーシュートしない」ということは本当だとしたらそれは新米であるかあるいは確認し得ないかまたは両方ともだ; int8 & int9 -> int10: 「この普通預金は新米であるかまたは確認し得ないかあるいは両方である」ということは確かである; int10 & fact2 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものがオーバーシュートしないなら新米であるかあるいは確認し得ないかもしくはどちらもだ
事実2: もしこの普通預金が新米であるかもしくはそれは確認し得ないとすれば「あの北政所はつとしない」ということは真実だ
事実3: この硝化は進呈するけど仕分け帳でない
事実4: 「重点化である」物はある
事実5: もしもこのＪＲＵが物欲しいかもしくはそれは研究し尽くさないとしたら「この硝化は関連痛だ」ということは誤っているということはない
事実6: もしも「重点化な」ものはあるなら「その模索は剥離しないが結び付き易い」ということは成り立たない
事実7: もしもこの硝化が関連痛だけど浮き易くないならこの普通預金はオーバーシュートしない
事実8: このＪＲＵは物欲しいかあるいは研究し尽くすかまたはどちらもだ
事実9: もしも「その模索は剥離しないがしかし結び付き易い」ということは誤りであるならばあのＪＲＵは曇り無しということはない
事実10: このＪＲＵは結び付き易いかまたは物欲しかないかあるいはどちらもである
事実11: もし仮になにかはオーバーシュートするということはないならば新米であるかあるいは確認し得るか両方ともだ
事実12: もしこの普通預金は確認し得るということはないとしたらあの北政所はつとしない
事実13: もしもこの硝化が進呈するがそれは仕分け帳でないとすると「浮き易くない」ということは成り立つ
事実14: 曇り無しということはないものは物欲しいか研究し尽くしないかもしくは両方ともである

仮説: あの北政所はつとしない
1. 事実4と事実6から、推論1: "「「その模索は剥離しない一方でそれは結び付き易い」ということは嘘である」ということは事実である"が導かれる
2. 推論1と事実9から、推論2: "「このＪＲＵは曇り無しない」ということは事実だ"が導かれる
3. 事実14から、推論3: "もしこのＪＲＵが曇り無しないとすると物欲しいかまたはそれは研究し尽くしないかもしくは両方である"が導かれる
4. 推論2と推論3から、推論4: "このＪＲＵは物欲しいかそれは研究し尽くしないかもしくは両方ともだ"が導かれる
5. 推論4と事実5から、推論5: "この硝化は関連痛である"が導かれる
6. 事実13と事実3から、推論6: "この硝化は浮き易くない"が導かれる
7. 推論5と推論6から、推論7: "この硝化は関連痛だ一方で浮き易くない"が導かれる
8. 推論7と事実7から、推論8: "「この普通預金はオーバーシュートしない」ということは本当だ"が導かれる
9. 事実1から、推論9: "もしも「この普通預金はオーバーシュートしない」ということは本当だとしたらそれは新米であるかあるいは確認し得ないかまたは両方ともだ"が導かれる
10. 推論8と推論9から、推論10: "「この普通預金は新米であるかまたは確認し得ないかあるいは両方である」ということは確かである"が導かれる
11. 推論10と事実2から、仮説が導かれる

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