この源五郎ぶなは手塩でない
fact1: 仮にこの事業家精神が混同し易いとしたらこの源五郎ぶなは混同し易くない fact2: もし「この事業家精神は混同し易くないし影響され易くない」ということは間違いだとすれば「この源五郎ぶなは混同し易くない」ということは成り立つ fact3: もし仮にこの源五郎ぶなは景気対策でないならば手塩でない fact4: 「この事業家精神は混同し易くないしそれは影響され易くない」ということは間違いである fact5: この源五郎ぶなは景気対策である fact6: もし「この事業家精神は影響され易いがそれは辱しめるということはない」ということは正しくないなら「それは手塩である」ということは確かだ fact7: もし仮に「「この源五郎ぶなは歴訪するということはないけど景気対策だ」ということは成り立たない」ということは正しいなら「それは手塩でない」ということは本当である fact8: もし仮に何かは歴訪するということはないがしかし景気対策だとすればそれは混同し易い fact9: 「この事業家精神は混同し易いけれど影響され易くない」ということは成り立たない
fact8 -> int1: この源五郎ぶなが歴訪するということはないが景気対策であるならば混同し易い; void -> assump1: 以下のように仮定する。この源五郎ぶなは歴訪しないが景気対策である; int1 & assump1 -> int2: この源五郎ぶなは混同し易い; fact2 & fact4 -> int3: この源五郎ぶなは混同し易いということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この源五郎ぶなは歴訪しないけどそれは景気対策である」ということは成り立たない; int5 & fact7 -> hypothesis;
この源五郎ぶなは手塩だ
$facts$ = fact1: 仮にこの事業家精神が混同し易いとしたらこの源五郎ぶなは混同し易くない fact2: もし「この事業家精神は混同し易くないし影響され易くない」ということは間違いだとすれば「この源五郎ぶなは混同し易くない」ということは成り立つ fact3: もし仮にこの源五郎ぶなは景気対策でないならば手塩でない fact4: 「この事業家精神は混同し易くないしそれは影響され易くない」ということは間違いである fact5: この源五郎ぶなは景気対策である fact6: もし「この事業家精神は影響され易いがそれは辱しめるということはない」ということは正しくないなら「それは手塩である」ということは確かだ fact7: もし仮に「「この源五郎ぶなは歴訪するということはないけど景気対策だ」ということは成り立たない」ということは正しいなら「それは手塩でない」ということは本当である fact8: もし仮に何かは歴訪するということはないがしかし景気対策だとすればそれは混同し易い fact9: 「この事業家精神は混同し易いけれど影響され易くない」ということは成り立たない ; $hypothesis$ = この源五郎ぶなは手塩でない ; $proof$ = 
fact8 -> int1: この源五郎ぶなが歴訪するということはないが景気対策であるならば混同し易い; void -> assump1: 以下のように仮定する。この源五郎ぶなは歴訪しないが景気対策である; int1 & assump1 -> int2: この源五郎ぶなは混同し易い; fact2 & fact4 -> int3: この源五郎ぶなは混同し易いということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この源五郎ぶなは歴訪しないけどそれは景気対策である」ということは成り立たない; int5 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこの事業家精神が混同し易いとしたらこの源五郎ぶなは混同し易くない
事実2: もし「この事業家精神は混同し易くないし影響され易くない」ということは間違いだとすれば「この源五郎ぶなは混同し易くない」ということは成り立つ
事実3: もし仮にこの源五郎ぶなは景気対策でないならば手塩でない
事実4: 「この事業家精神は混同し易くないしそれは影響され易くない」ということは間違いである
事実5: この源五郎ぶなは景気対策である
事実6: もし「この事業家精神は影響され易いがそれは辱しめるということはない」ということは正しくないなら「それは手塩である」ということは確かだ
事実7: もし仮に「「この源五郎ぶなは歴訪するということはないけど景気対策だ」ということは成り立たない」ということは正しいなら「それは手塩でない」ということは本当である
事実8: もし仮に何かは歴訪するということはないがしかし景気対策だとすればそれは混同し易い
事実9: 「この事業家精神は混同し易いけれど影響され易くない」ということは成り立たない

仮説: この源五郎ぶなは手塩でない
1. 事実8から、推論1: "この源五郎ぶなが歴訪するということはないが景気対策であるならば混同し易い"が導かれる
2. 仮定1: 以下のように仮定する。この源五郎ぶなは歴訪しないが景気対策である
3. 推論1と仮定1から、推論2: "この源五郎ぶなは混同し易い"が導かれる
4. 事実2と事実4から、推論3: "この源五郎ぶなは混同し易いということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この源五郎ぶなは歴訪しないけどそれは景気対策である」ということは成り立たない"が導かれる
7. 推論5と事実7から、仮説が導かれる

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