「「もし仮に屈するけれど組み合わないなら走り込む」ものはある」ということは成り立つ
fact1: なにがしかのものは屈するしまた組み合うとすると走り込む fact2: もしなんらかの物が屈するけどそれは組み合わないならば「それは走り込む」ということは事実である fact3: 「屈するし更に組み合うなら走り込む」ものはある fact4: もしもあのソファベッドは屈するしさらに組み合えば走り込む
fact2 -> int1: あのソファベッドは屈するけれど組み合うということはないとするとそれは走り込む; int1 -> hypothesis;
$facts$ = fact1: なにがしかのものは屈するしまた組み合うとすると走り込む fact2: もしなんらかの物が屈するけどそれは組み合わないならば「それは走り込む」ということは事実である fact3: 「屈するし更に組み合うなら走り込む」ものはある fact4: もしもあのソファベッドは屈するしさらに組み合えば走り込む ; $hypothesis$ = 「「もし仮に屈するけれど組み合わないなら走り込む」ものはある」ということは成り立つ ; $proof$ = 
fact2 -> int1: あのソファベッドは屈するけれど組み合うということはないとするとそれは走り込む; int1 -> hypothesis; __PROVED__
事実1: なにがしかのものは屈するしまた組み合うとすると走り込む
事実2: もしなんらかの物が屈するけどそれは組み合わないならば「それは走り込む」ということは事実である
事実3: 「屈するし更に組み合うなら走り込む」ものはある
事実4: もしもあのソファベッドは屈するしさらに組み合えば走り込む

仮説: 「「もし仮に屈するけれど組み合わないなら走り込む」ものはある」ということは成り立つ
1. 事実2から、推論1: "あのソファベッドは屈するけれど組み合うということはないとするとそれは走り込む"が導かれる
2. 推論1から、仮説が導かれる

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