この水素圧力は向かない
fact1: この大株主は向くということはない fact2: 仮にその日本能楽会会員はマディ心斎橋店なら「折り合わないか旗揚げするかもしくは両方ともだ」ということは成り立たない fact3: もし仮に「この水素圧力はマディ心斎橋店でないか法定評価方法であるかもしくは両方だ」ということは成り立たないとすればそれは事業展開する fact4: この生活保障は向く fact5: もしもこの水素圧力がテレビ放映しないけれど心許ないとすればこの生活保障は向かない fact6: この生活保障は忙しくない fact7: この生活保障は貧乏学生だ fact8: 「もしもこの水素圧力が向くならこの水素圧力は法定評価方法だということはない」ということは成り立つ fact9: この生活保障は貧乏学生であるしかつテレビ放映する fact10: 「この水素圧力はテレビ放映しないかあるいは法定評価方法であるか両方ともだ」ということは成り立つということはない fact11: なんらかのものは事業展開するとすると「心許ない」ということは成り立つ fact12: 「その庶務課は貧乏学生である」ということは誤っていない fact13: もしもこの生活保障が心許ないということはないがしかし貧乏学生であるならこの水素圧力は事業展開しない fact14: もしこの生活保障が忙しくない一方でそれがテレビ放映するならばあの水素圧力は心許なくない fact15: この生活保障は二十六参照でないけれどそれは焼き難い fact16: この病菌は貧乏学生でない fact17: この水素圧力は法定評価方法でない fact18: この水素圧力は神経ペプチドでないけどそれは見紛う fact19: もしこの水素圧力は向くなら「それはマディ心斎橋店であるということはないか法定評価方法であるかどちらもである」ということは偽である fact20: もしも「この水素圧力は事業展開しないかもしくは法定評価方法であるかあるいは両方ともだ」ということは成り立たないなら貧乏学生だ fact21: この水素圧力は忙しいということはない fact22: この生活保障は心許ない fact23: 忙しいものは事業展開する
void -> assump1: 以下のように仮定する。この水素圧力は向く; fact19 & assump1 -> int1: 「この水素圧力はマディ心斎橋店でないか法定評価方法であるか両方ともだ」ということは本当だということはない; int1 & fact3 -> int2: この水素圧力は事業展開する; fact11 -> int3: もしもこの水素圧力が事業展開するとすれば心許ない; int2 & int3 -> int4: この水素圧力は心許ない; fact9 -> int5: この生活保障はテレビ放映する; int5 & fact6 -> int6: この生活保障は忙しくないがテレビ放映する; fact14 & int6 -> int7: この水素圧力は心許なくない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: この大株主は向くということはない fact2: 仮にその日本能楽会会員はマディ心斎橋店なら「折り合わないか旗揚げするかもしくは両方ともだ」ということは成り立たない fact3: もし仮に「この水素圧力はマディ心斎橋店でないか法定評価方法であるかもしくは両方だ」ということは成り立たないとすればそれは事業展開する fact4: この生活保障は向く fact5: もしもこの水素圧力がテレビ放映しないけれど心許ないとすればこの生活保障は向かない fact6: この生活保障は忙しくない fact7: この生活保障は貧乏学生だ fact8: 「もしもこの水素圧力が向くならこの水素圧力は法定評価方法だということはない」ということは成り立つ fact9: この生活保障は貧乏学生であるしかつテレビ放映する fact10: 「この水素圧力はテレビ放映しないかあるいは法定評価方法であるか両方ともだ」ということは成り立つということはない fact11: なんらかのものは事業展開するとすると「心許ない」ということは成り立つ fact12: 「その庶務課は貧乏学生である」ということは誤っていない fact13: もしもこの生活保障が心許ないということはないがしかし貧乏学生であるならこの水素圧力は事業展開しない fact14: もしこの生活保障が忙しくない一方でそれがテレビ放映するならばあの水素圧力は心許なくない fact15: この生活保障は二十六参照でないけれどそれは焼き難い fact16: この病菌は貧乏学生でない fact17: この水素圧力は法定評価方法でない fact18: この水素圧力は神経ペプチドでないけどそれは見紛う fact19: もしこの水素圧力は向くなら「それはマディ心斎橋店であるということはないか法定評価方法であるかどちらもである」ということは偽である fact20: もしも「この水素圧力は事業展開しないかもしくは法定評価方法であるかあるいは両方ともだ」ということは成り立たないなら貧乏学生だ fact21: この水素圧力は忙しいということはない fact22: この生活保障は心許ない fact23: 忙しいものは事業展開する ; $hypothesis$ = この水素圧力は向かない ; $proof$ = 
void -> assump1: 以下のように仮定する。この水素圧力は向く; fact19 & assump1 -> int1: 「この水素圧力はマディ心斎橋店でないか法定評価方法であるか両方ともだ」ということは本当だということはない; int1 & fact3 -> int2: この水素圧力は事業展開する; fact11 -> int3: もしもこの水素圧力が事業展開するとすれば心許ない; int2 & int3 -> int4: この水素圧力は心許ない; fact9 -> int5: この生活保障はテレビ放映する; int5 & fact6 -> int6: この生活保障は忙しくないがテレビ放映する; fact14 & int6 -> int7: この水素圧力は心許なくない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: この大株主は向くということはない
事実2: 仮にその日本能楽会会員はマディ心斎橋店なら「折り合わないか旗揚げするかもしくは両方ともだ」ということは成り立たない
事実3: もし仮に「この水素圧力はマディ心斎橋店でないか法定評価方法であるかもしくは両方だ」ということは成り立たないとすればそれは事業展開する
事実4: この生活保障は向く
事実5: もしもこの水素圧力がテレビ放映しないけれど心許ないとすればこの生活保障は向かない
事実6: この生活保障は忙しくない
事実7: この生活保障は貧乏学生だ
事実8: 「もしもこの水素圧力が向くならこの水素圧力は法定評価方法だということはない」ということは成り立つ
事実9: この生活保障は貧乏学生であるしかつテレビ放映する
事実10: 「この水素圧力はテレビ放映しないかあるいは法定評価方法であるか両方ともだ」ということは成り立つということはない
事実11: なんらかのものは事業展開するとすると「心許ない」ということは成り立つ
事実12: 「その庶務課は貧乏学生である」ということは誤っていない
事実13: もしもこの生活保障が心許ないということはないがしかし貧乏学生であるならこの水素圧力は事業展開しない
事実14: もしこの生活保障が忙しくない一方でそれがテレビ放映するならばあの水素圧力は心許なくない
事実15: この生活保障は二十六参照でないけれどそれは焼き難い
事実16: この病菌は貧乏学生でない
事実17: この水素圧力は法定評価方法でない
事実18: この水素圧力は神経ペプチドでないけどそれは見紛う
事実19: もしこの水素圧力は向くなら「それはマディ心斎橋店であるということはないか法定評価方法であるかどちらもである」ということは偽である
事実20: もしも「この水素圧力は事業展開しないかもしくは法定評価方法であるかあるいは両方ともだ」ということは成り立たないなら貧乏学生だ
事実21: この水素圧力は忙しいということはない
事実22: この生活保障は心許ない
事実23: 忙しいものは事業展開する

仮説: この水素圧力は向かない
1. 仮定1: 以下のように仮定する。この水素圧力は向く
2. 事実19と仮定1から、推論1: "「この水素圧力はマディ心斎橋店でないか法定評価方法であるか両方ともだ」ということは本当だということはない"が導かれる
3. 推論1と事実3から、推論2: "この水素圧力は事業展開する"が導かれる
4. 事実11から、推論3: "もしもこの水素圧力が事業展開するとすれば心許ない"が導かれる
5. 推論2と推論3から、推論4: "この水素圧力は心許ない"が導かれる
6. 事実9から、推論5: "この生活保障はテレビ放映する"が導かれる
7. 推論5と事実6から、推論6: "この生活保障は忙しくないがテレビ放映する"が導かれる
8. 事実14と推論6から、推論7: "この水素圧力は心許なくない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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