とある物はコントロールし易いかあるいは惜しみ無い
fact1: 仮に「コントロールし易くてさらにホテルサービスな」物があるならあの流動数曲線はＣＡロールだ fact2: この会社設立時は拘縮するということはない一方でＣＡロールである fact3: 仮に「コントロールし易くて拘縮する」ものがあるならあの流動数曲線はＣＡロールである fact4: 「ＣＡロールである」ものはある fact5: 目覚ましいものは糸飴である fact6: ある物は拘縮するしＣＡロールだ fact7: この会社設立時はコントロールし易くない一方でＣＡロールだ fact8: 何らかのものが拘縮しないがしかしＣＡロールであるとしたらあの流動数曲線はホテルサービスだ fact9: 仮に何かはホテルサービスであるならばコントロールし易い fact10: 「客観視しない」ものはある fact11: この会社設立時はＣＡロールだ fact12: 「腹黒いかもしくは吸収され易い」物はある fact13: もしもなにがしかの物がＣＡロールでないがそれが拘縮するならばあの会社設立時は惜しみ無い
fact2 -> int1: 「拘縮しないがＣＡロールな」物はある; int1 & fact8 -> int2: あの流動数曲線はホテルサービスである; fact9 -> int3: もし仮にあの流動数曲線がホテルサービスだとするとコントロールし易い; int2 & int3 -> int4: あの流動数曲線はコントロールし易い; int4 -> int5: あの流動数曲線はコントロールし易いかあるいは惜しみ無いかもしくはどちらもだ; int5 -> hypothesis;
$facts$ = fact1: 仮に「コントロールし易くてさらにホテルサービスな」物があるならあの流動数曲線はＣＡロールだ fact2: この会社設立時は拘縮するということはない一方でＣＡロールである fact3: 仮に「コントロールし易くて拘縮する」ものがあるならあの流動数曲線はＣＡロールである fact4: 「ＣＡロールである」ものはある fact5: 目覚ましいものは糸飴である fact6: ある物は拘縮するしＣＡロールだ fact7: この会社設立時はコントロールし易くない一方でＣＡロールだ fact8: 何らかのものが拘縮しないがしかしＣＡロールであるとしたらあの流動数曲線はホテルサービスだ fact9: 仮に何かはホテルサービスであるならばコントロールし易い fact10: 「客観視しない」ものはある fact11: この会社設立時はＣＡロールだ fact12: 「腹黒いかもしくは吸収され易い」物はある fact13: もしもなにがしかの物がＣＡロールでないがそれが拘縮するならばあの会社設立時は惜しみ無い ; $hypothesis$ = とある物はコントロールし易いかあるいは惜しみ無い ; $proof$ = 
fact2 -> int1: 「拘縮しないがＣＡロールな」物はある; int1 & fact8 -> int2: あの流動数曲線はホテルサービスである; fact9 -> int3: もし仮にあの流動数曲線がホテルサービスだとするとコントロールし易い; int2 & int3 -> int4: あの流動数曲線はコントロールし易い; int4 -> int5: あの流動数曲線はコントロールし易いかあるいは惜しみ無いかもしくはどちらもだ; int5 -> hypothesis; __PROVED__
事実1: 仮に「コントロールし易くてさらにホテルサービスな」物があるならあの流動数曲線はＣＡロールだ
事実2: この会社設立時は拘縮するということはない一方でＣＡロールである
事実3: 仮に「コントロールし易くて拘縮する」ものがあるならあの流動数曲線はＣＡロールである
事実4: 「ＣＡロールである」ものはある
事実5: 目覚ましいものは糸飴である
事実6: ある物は拘縮するしＣＡロールだ
事実7: この会社設立時はコントロールし易くない一方でＣＡロールだ
事実8: 何らかのものが拘縮しないがしかしＣＡロールであるとしたらあの流動数曲線はホテルサービスだ
事実9: 仮に何かはホテルサービスであるならばコントロールし易い
事実10: 「客観視しない」ものはある
事実11: この会社設立時はＣＡロールだ
事実12: 「腹黒いかもしくは吸収され易い」物はある
事実13: もしもなにがしかの物がＣＡロールでないがそれが拘縮するならばあの会社設立時は惜しみ無い

仮説: とある物はコントロールし易いかあるいは惜しみ無い
1. 事実2から、推論1: "「拘縮しないがＣＡロールな」物はある"が導かれる
2. 推論1と事実8から、推論2: "あの流動数曲線はホテルサービスである"が導かれる
3. 事実9から、推論3: "もし仮にあの流動数曲線がホテルサービスだとするとコントロールし易い"が導かれる
4. 推論2と推論3から、推論4: "あの流動数曲線はコントロールし易い"が導かれる
5. 推論4から、推論5: "あの流動数曲線はコントロールし易いかあるいは惜しみ無いかもしくはどちらもだ"が導かれる
6. 推論5から、仮説が導かれる

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