その回収サービス業務資産は頼り無い
fact1: 「その人気薄は天皇機関説であるかそれは中核派でないか両方ともだ」ということは偽である fact2: 美術部は云々しない fact3: でかい物は頼り無い fact4: 仮に「その人気薄は天皇機関説であるかあるいはそれは中核派でない」ということは成り立たないとしたら亜寒帯でない fact5: もしも何らかのものは云々しないとすると「亜寒帯だし加えて美術部だ」ということは事実である fact6: 「もしこのＮＴＦＳが云々しないならこの史学雑誌は豪気でないしそれは買い為さらない」ということは正しい fact7: もしその人気薄が亜寒帯でないとすればこのＮＴＦＳは美術部であるしさらに畏む fact8: もしも「豪気でなくてそれに買い為さらない」物はあるとすると「その回収サービス業務資産はでかい」ということは真実である
fact4 & fact1 -> int1: その人気薄は亜寒帯でない; int1 & fact7 -> int2: このＮＴＦＳは美術部であるし畏む; int2 -> int3: このＮＴＦＳは美術部だ; fact2 -> int4: もし仮にこのＮＴＦＳは美術部であるとすると云々するということはない; int3 & int4 -> int5: 「このＮＴＦＳは云々する」ということは事実と異なる; int5 & fact6 -> int6: この史学雑誌は豪気でないし買い為さらない; int6 -> int7: 何らかのものは豪気であるということはないし買い為さらない; int7 & fact8 -> int8: その回収サービス業務資産はでかい; fact3 -> int9: 仮にその回収サービス業務資産がでかいとすると頼り無い; int8 & int9 -> hypothesis;
「その回収サービス業務資産は頼り無くない」ということは本当である
fact9 -> int10: 仮にこのＮＴＦＳが云々しないとすれば亜寒帯でその上美術部だ;
$facts$ = fact1: 「その人気薄は天皇機関説であるかそれは中核派でないか両方ともだ」ということは偽である fact2: 美術部は云々しない fact3: でかい物は頼り無い fact4: 仮に「その人気薄は天皇機関説であるかあるいはそれは中核派でない」ということは成り立たないとしたら亜寒帯でない fact5: もしも何らかのものは云々しないとすると「亜寒帯だし加えて美術部だ」ということは事実である fact6: 「もしこのＮＴＦＳが云々しないならこの史学雑誌は豪気でないしそれは買い為さらない」ということは正しい fact7: もしその人気薄が亜寒帯でないとすればこのＮＴＦＳは美術部であるしさらに畏む fact8: もしも「豪気でなくてそれに買い為さらない」物はあるとすると「その回収サービス業務資産はでかい」ということは真実である ; $hypothesis$ = その回収サービス業務資産は頼り無い ; $proof$ = 
fact4 & fact1 -> int1: その人気薄は亜寒帯でない; int1 & fact7 -> int2: このＮＴＦＳは美術部であるし畏む; int2 -> int3: このＮＴＦＳは美術部だ; fact2 -> int4: もし仮にこのＮＴＦＳは美術部であるとすると云々するということはない; int3 & int4 -> int5: 「このＮＴＦＳは云々する」ということは事実と異なる; int5 & fact6 -> int6: この史学雑誌は豪気でないし買い為さらない; int6 -> int7: 何らかのものは豪気であるということはないし買い為さらない; int7 & fact8 -> int8: その回収サービス業務資産はでかい; fact3 -> int9: 仮にその回収サービス業務資産がでかいとすると頼り無い; int8 & int9 -> hypothesis; __PROVED__
事実1: 「その人気薄は天皇機関説であるかそれは中核派でないか両方ともだ」ということは偽である
事実2: 美術部は云々しない
事実3: でかい物は頼り無い
事実4: 仮に「その人気薄は天皇機関説であるかあるいはそれは中核派でない」ということは成り立たないとしたら亜寒帯でない
事実5: もしも何らかのものは云々しないとすると「亜寒帯だし加えて美術部だ」ということは事実である
事実6: 「もしこのＮＴＦＳが云々しないならこの史学雑誌は豪気でないしそれは買い為さらない」ということは正しい
事実7: もしその人気薄が亜寒帯でないとすればこのＮＴＦＳは美術部であるしさらに畏む
事実8: もしも「豪気でなくてそれに買い為さらない」物はあるとすると「その回収サービス業務資産はでかい」ということは真実である

仮説: その回収サービス業務資産は頼り無い
1. 事実4と事実1から、推論1: "その人気薄は亜寒帯でない"が導かれる
2. 推論1と事実7から、推論2: "このＮＴＦＳは美術部であるし畏む"が導かれる
3. 推論2から、推論3: "このＮＴＦＳは美術部だ"が導かれる
4. 事実2から、推論4: "もし仮にこのＮＴＦＳは美術部であるとすると云々するということはない"が導かれる
5. 推論3と推論4から、推論5: "「このＮＴＦＳは云々する」ということは事実と異なる"が導かれる
6. 推論5と事実6から、推論6: "この史学雑誌は豪気でないし買い為さらない"が導かれる
7. 推論6から、推論7: "何らかのものは豪気であるということはないし買い為さらない"が導かれる
8. 推論7と事実8から、推論8: "その回収サービス業務資産はでかい"が導かれる
9. 事実3から、推論9: "仮にその回収サービス業務資産がでかいとすると頼り無い"が導かれる
10. 推論8と推論9から、仮説が導かれる

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