ある物は滴るし加入者数だ
fact1: もし仮にこのタイプＢはたじろぐとしたら「この所得再分配機能は苦し」ということは成り立つ fact2: もしも「「「この所得再分配機能は染み込み易いけど苦しない」ということは事実である」ということは真実でない」ということは確かだとしたら考え深い fact3: 「その気構えは考え深いがしかし染み込み易くない」ということは誤りである fact4: もし仮に「その気構えは考え深いけれど染み込み易くない」ということは偽なら怖い fact5: 「「このタイプＢは怖い」ということは確かならその気構えはたじろぐ」ということは確かである fact6: その気構えが怖いとすればこのタイプＢは怖い fact7: 「その気構えは考え深いしそれは染み込み易い」ということは成り立たない fact8: 仮にその気構えは怖いならば「この所得再分配機能は滴る」ということは成り立つ fact9: このタイプＢは苦しかもしくはたじろぐかもしくは両方ともだ fact10: もし「このタイプＢは苦し」ということは真実であるならばこの所得再分配機能は苦し fact11: 「加入者数である」ものはある fact12: 「苦しものは加入者数だ」ということは成り立つ fact13: もしその気構えが染み込み易いならばそれは怖い fact14: あるものは滴る
fact4 & fact3 -> int1: その気構えは怖い; int1 & fact8 -> int2: この所得再分配機能は滴る; fact10 & fact9 & fact1 -> int3: この所得再分配機能は苦し; fact12 -> int4: もし仮にこの所得再分配機能が苦しとすれば加入者数だ; int3 & int4 -> int5: この所得再分配機能は加入者数である; int2 & int5 -> int6: この所得再分配機能は滴るしかつ加入者数である; int6 -> hypothesis;
$facts$ = fact1: もし仮にこのタイプＢはたじろぐとしたら「この所得再分配機能は苦し」ということは成り立つ fact2: もしも「「「この所得再分配機能は染み込み易いけど苦しない」ということは事実である」ということは真実でない」ということは確かだとしたら考え深い fact3: 「その気構えは考え深いがしかし染み込み易くない」ということは誤りである fact4: もし仮に「その気構えは考え深いけれど染み込み易くない」ということは偽なら怖い fact5: 「「このタイプＢは怖い」ということは確かならその気構えはたじろぐ」ということは確かである fact6: その気構えが怖いとすればこのタイプＢは怖い fact7: 「その気構えは考え深いしそれは染み込み易い」ということは成り立たない fact8: 仮にその気構えは怖いならば「この所得再分配機能は滴る」ということは成り立つ fact9: このタイプＢは苦しかもしくはたじろぐかもしくは両方ともだ fact10: もし「このタイプＢは苦し」ということは真実であるならばこの所得再分配機能は苦し fact11: 「加入者数である」ものはある fact12: 「苦しものは加入者数だ」ということは成り立つ fact13: もしその気構えが染み込み易いならばそれは怖い fact14: あるものは滴る ; $hypothesis$ = ある物は滴るし加入者数だ ; $proof$ = 
fact4 & fact3 -> int1: その気構えは怖い; int1 & fact8 -> int2: この所得再分配機能は滴る; fact10 & fact9 & fact1 -> int3: この所得再分配機能は苦し; fact12 -> int4: もし仮にこの所得再分配機能が苦しとすれば加入者数だ; int3 & int4 -> int5: この所得再分配機能は加入者数である; int2 & int5 -> int6: この所得再分配機能は滴るしかつ加入者数である; int6 -> hypothesis; __PROVED__
事実1: もし仮にこのタイプＢはたじろぐとしたら「この所得再分配機能は苦し」ということは成り立つ
事実2: もしも「「「この所得再分配機能は染み込み易いけど苦しない」ということは事実である」ということは真実でない」ということは確かだとしたら考え深い
事実3: 「その気構えは考え深いがしかし染み込み易くない」ということは誤りである
事実4: もし仮に「その気構えは考え深いけれど染み込み易くない」ということは偽なら怖い
事実5: 「「このタイプＢは怖い」ということは確かならその気構えはたじろぐ」ということは確かである
事実6: その気構えが怖いとすればこのタイプＢは怖い
事実7: 「その気構えは考え深いしそれは染み込み易い」ということは成り立たない
事実8: 仮にその気構えは怖いならば「この所得再分配機能は滴る」ということは成り立つ
事実9: このタイプＢは苦しかもしくはたじろぐかもしくは両方ともだ
事実10: もし「このタイプＢは苦し」ということは真実であるならばこの所得再分配機能は苦し
事実11: 「加入者数である」ものはある
事実12: 「苦しものは加入者数だ」ということは成り立つ
事実13: もしその気構えが染み込み易いならばそれは怖い
事実14: あるものは滴る

仮説: ある物は滴るし加入者数だ
1. 事実4と事実3から、推論1: "その気構えは怖い"が導かれる
2. 推論1と事実8から、推論2: "この所得再分配機能は滴る"が導かれる
3. 事実10と事実9と事実1から、推論3: "この所得再分配機能は苦し"が導かれる
4. 事実12から、推論4: "もし仮にこの所得再分配機能が苦しとすれば加入者数だ"が導かれる
5. 推論3と推論4から、推論5: "この所得再分配機能は加入者数である"が導かれる
6. 推論2と推論5から、推論6: "この所得再分配機能は滴るしかつ加入者数である"が導かれる
7. 推論6から、仮説が導かれる

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