この背番号はストロークしないかあるいはキングスクロス駅であるということはないかもしくは両方ともだ
fact1: もしもその沈殿物が激変するとすればあの合計点は資源開発である fact2: 仮に「あの原材料物質は俗っぽい」ということは正しいならば「あの動産登記制度は機能的障害である」ということは事実だ fact3: もし仮にその中華レストランがハムレット復讐するとしたらあの原材料物質は俗っぽい fact4: もしもあの法人が称すとしたらその沈殿物は調和し難い一方で気付き易くない fact5: 得られ難い物はストロークするかもしくはキングスクロス駅でないかあるいはどちらもである fact6: もしもあの合計点が資源開発ならばあの工場法はデザイン法上でない fact7: もしもこの背番号が得られ難いとしたらそれはストロークするかまたはキングスクロス駅でないかあるいは両方である fact8: 機能的障害は立ち行く fact9: この背番号は不貞腐れる fact10: もしも何かは気付き易くないならば激変するかそれは資源開発だ fact11: もし仮になにがしかの物が荒振らないならそれはハムレット復讐するかそれは俗っぽいか両方ともである fact12: 全ては荒振らない fact13: その沈殿物が資源開発だとするとあの合計点は資源開発だ fact14: 得られ難いものはストロークしないかまたはキングスクロス駅でないか両方だ fact15: もしもこの背番号が得られ難いならそれはストロークしないかキングスクロス駅であるかどちらもだ fact16: この背番号はストロークするかもしくはキングスクロス駅でないかもしくはどちらもである fact17: もし仮になんらかの物がデザイン法上でないならば得られ難いしおまけにそれは不貞腐れる fact18: この背番号は得られ難くてかつ不貞腐れる fact19: あの動産登記制度が立ち行くならあの法人は称す fact20: あの当該製造物は得られ難いということはないかあるいはそれは直営店である fact21: もしその中華レストランが俗っぽいならばあの原材料物質は俗っぽい
fact14 -> int1: もし「この背番号は得られ難い」ということは真実だとしたらそれはストロークするということはないかもしくはそれはキングスクロス駅でない; fact18 -> int2: この背番号は得られ難い; int1 & int2 -> hypothesis;
「この背番号はストロークするということはないかまたはキングスクロス駅でないかあるいは両方である」ということは嘘だ
fact29 -> int3: もし仮にあの工場法がデザイン法上でないとすれば得られ難いしおまけに不貞腐れる; fact32 -> int4: もし仮にその沈殿物が気付き易くないとすると激変するかもしくは資源開発であるかまたは両方だ; fact23 -> int5: もし仮にその生徒指導が荒振らないならばそれはハムレット復讐するかあるいはそれは俗っぽい; fact22 -> int6: その生徒指導は荒振らない; int5 & int6 -> int7: その生徒指導はハムレット復讐するかまたはそれは俗っぽい; int7 -> int8: どれもこれもはハムレット復讐するかもしくは俗っぽい; int8 -> int9: その中華レストランはハムレット復讐するかまたは俗っぽいかもしくは両方ともである; int9 & fact26 & fact28 -> int10: あの原材料物質は俗っぽい; fact27 & int10 -> int11: あの動産登記制度は機能的障害である; fact33 -> int12: もしもあの動産登記制度が機能的障害ならそれは立ち行く; int11 & int12 -> int13: あの動産登記制度は立ち行く; fact25 & int13 -> int14: 「あの法人は称す」ということは事実だ; int14 & fact30 -> int15: その沈殿物は調和し難いが気付き易くない; int15 -> int16: その沈殿物は気付き易くない; int4 & int16 -> int17: その沈殿物は激変するかもしくはそれは資源開発であるか両方ともである; fact31 & int17 & fact34 -> int18: あの合計点は資源開発である; int18 & fact24 -> int19: あの工場法はデザイン法上でない; int3 & int19 -> int20: あの工場法は得られ難くて不貞腐れる; int20 -> int21: あの工場法は得られ難い; int21 -> int22: 「得られ難い」ものはある;
$facts$ = fact1: もしもその沈殿物が激変するとすればあの合計点は資源開発である fact2: 仮に「あの原材料物質は俗っぽい」ということは正しいならば「あの動産登記制度は機能的障害である」ということは事実だ fact3: もし仮にその中華レストランがハムレット復讐するとしたらあの原材料物質は俗っぽい fact4: もしもあの法人が称すとしたらその沈殿物は調和し難い一方で気付き易くない fact5: 得られ難い物はストロークするかもしくはキングスクロス駅でないかあるいはどちらもである fact6: もしもあの合計点が資源開発ならばあの工場法はデザイン法上でない fact7: もしもこの背番号が得られ難いとしたらそれはストロークするかまたはキングスクロス駅でないかあるいは両方である fact8: 機能的障害は立ち行く fact9: この背番号は不貞腐れる fact10: もしも何かは気付き易くないならば激変するかそれは資源開発だ fact11: もし仮になにがしかの物が荒振らないならそれはハムレット復讐するかそれは俗っぽいか両方ともである fact12: 全ては荒振らない fact13: その沈殿物が資源開発だとするとあの合計点は資源開発だ fact14: 得られ難いものはストロークしないかまたはキングスクロス駅でないか両方だ fact15: もしもこの背番号が得られ難いならそれはストロークしないかキングスクロス駅であるかどちらもだ fact16: この背番号はストロークするかもしくはキングスクロス駅でないかもしくはどちらもである fact17: もし仮になんらかの物がデザイン法上でないならば得られ難いしおまけにそれは不貞腐れる fact18: この背番号は得られ難くてかつ不貞腐れる fact19: あの動産登記制度が立ち行くならあの法人は称す fact20: あの当該製造物は得られ難いということはないかあるいはそれは直営店である fact21: もしその中華レストランが俗っぽいならばあの原材料物質は俗っぽい ; $hypothesis$ = この背番号はストロークしないかあるいはキングスクロス駅であるということはないかもしくは両方ともだ ; $proof$ = 
fact14 -> int1: もし「この背番号は得られ難い」ということは真実だとしたらそれはストロークするということはないかもしくはそれはキングスクロス駅でない; fact18 -> int2: この背番号は得られ難い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもその沈殿物が激変するとすればあの合計点は資源開発である
事実2: 仮に「あの原材料物質は俗っぽい」ということは正しいならば「あの動産登記制度は機能的障害である」ということは事実だ
事実3: もし仮にその中華レストランがハムレット復讐するとしたらあの原材料物質は俗っぽい
事実4: もしもあの法人が称すとしたらその沈殿物は調和し難い一方で気付き易くない
事実5: 得られ難い物はストロークするかもしくはキングスクロス駅でないかあるいはどちらもである
事実6: もしもあの合計点が資源開発ならばあの工場法はデザイン法上でない
事実7: もしもこの背番号が得られ難いとしたらそれはストロークするかまたはキングスクロス駅でないかあるいは両方である
事実8: 機能的障害は立ち行く
事実9: この背番号は不貞腐れる
事実10: もしも何かは気付き易くないならば激変するかそれは資源開発だ
事実11: もし仮になにがしかの物が荒振らないならそれはハムレット復讐するかそれは俗っぽいか両方ともである
事実12: 全ては荒振らない
事実13: その沈殿物が資源開発だとするとあの合計点は資源開発だ
事実14: 得られ難いものはストロークしないかまたはキングスクロス駅でないか両方だ
事実15: もしもこの背番号が得られ難いならそれはストロークしないかキングスクロス駅であるかどちらもだ
事実16: この背番号はストロークするかもしくはキングスクロス駅でないかもしくはどちらもである
事実17: もし仮になんらかの物がデザイン法上でないならば得られ難いしおまけにそれは不貞腐れる
事実18: この背番号は得られ難くてかつ不貞腐れる
事実19: あの動産登記制度が立ち行くならあの法人は称す
事実20: あの当該製造物は得られ難いということはないかあるいはそれは直営店である
事実21: もしその中華レストランが俗っぽいならばあの原材料物質は俗っぽい

仮説: この背番号はストロークしないかあるいはキングスクロス駅であるということはないかもしくは両方ともだ
1. 事実14から、推論1: "もし「この背番号は得られ難い」ということは真実だとしたらそれはストロークするということはないかもしくはそれはキングスクロス駅でない"が導かれる
2. 事実18から、推論2: "この背番号は得られ難い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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