この安産は青臭い
fact1: もし仮に何らかのものが支払わせばそれは青臭くない fact2: 「あの国庫負担は妬ましいということはないがしかしサブカルチャーだ」ということは誤りだ fact3: もし仮に「とある物は潜水しないかもしくは鳴神であるかもしくは両方ともだ」ということは事実と異なるとすればそれはサブカルチャーだ fact4: 「なにがしかの物は支払わさないがしかし妬ましい」ということは成り立たないとしたら青臭くない fact5: もしもあの国庫負担はサブカルチャーなら「この安産は支払わすということはないけど妬ましい」ということは嘘である fact6: もし仮に「アプローチし易いということはない」物があるとすればあの国庫負担は好転でしかもそれはパックする fact7: 「あの具体的運用はアプローチし易いが住み良くない」ということは誤っている fact8: もしもある物はパックしないとしたら「それは潜水しないか鳴神であるか両方ともである」ということは間違いだ fact9: もし仮に「あの具体的運用はアプローチし易いがしかし住み良くない」ということは確かでないとすると「それはアプローチし易くない」ということは確かだ fact10: もし仮にこの安産はサブカルチャーであるとすればそれは青臭い fact11: 「この安産は支払わすしおまけにそれは妬ましい」ということは偽だ fact12: この腸炎ビブリオは妬ましい fact13: あの国庫負担はサブカルチャーである fact14: 鳴神は青臭いということはないかあるいは潜水しないか両方だ fact15: もしもあの国庫負担は青臭いなら「この安産はサブカルチャーでないがしかし妬ましい」ということは成り立たない fact16: もし仮に「あの国庫負担はアプローチし易いということはないけれどそれはパックする」ということは嘘ならばこの安産はパックするということはない fact17: もし仮にあの国庫負担はサブカルチャーであるならば「この安産は支払わすしそれは妬ましい」ということは誤りだ fact18: もしも何かはパックするとしたらそれは鳴神である fact19: もし仮にこの安産は支払わせば「青臭くない」ということは成り立つ
fact4 -> int1: もしも「この安産は支払わさないがしかし妬ましい」ということは誤っているとすると青臭くない; fact5 & fact13 -> int2: 「この安産は支払わさないけれどそれは妬ましい」ということは成り立たない; int1 & int2 -> hypothesis;
この安産は青臭い
fact21 -> int3: 仮に「この安産は潜水しないかもしくは鳴神であるかどちらもである」ということは偽ならサブカルチャーだ; fact23 -> int4: もしもこの安産はパックしないとすれば「それは潜水しないかあるいはそれは鳴神であるかあるいは両方ともである」ということは間違っている;
$facts$ = fact1: もし仮に何らかのものが支払わせばそれは青臭くない fact2: 「あの国庫負担は妬ましいということはないがしかしサブカルチャーだ」ということは誤りだ fact3: もし仮に「とある物は潜水しないかもしくは鳴神であるかもしくは両方ともだ」ということは事実と異なるとすればそれはサブカルチャーだ fact4: 「なにがしかの物は支払わさないがしかし妬ましい」ということは成り立たないとしたら青臭くない fact5: もしもあの国庫負担はサブカルチャーなら「この安産は支払わすということはないけど妬ましい」ということは嘘である fact6: もし仮に「アプローチし易いということはない」物があるとすればあの国庫負担は好転でしかもそれはパックする fact7: 「あの具体的運用はアプローチし易いが住み良くない」ということは誤っている fact8: もしもある物はパックしないとしたら「それは潜水しないか鳴神であるか両方ともである」ということは間違いだ fact9: もし仮に「あの具体的運用はアプローチし易いがしかし住み良くない」ということは確かでないとすると「それはアプローチし易くない」ということは確かだ fact10: もし仮にこの安産はサブカルチャーであるとすればそれは青臭い fact11: 「この安産は支払わすしおまけにそれは妬ましい」ということは偽だ fact12: この腸炎ビブリオは妬ましい fact13: あの国庫負担はサブカルチャーである fact14: 鳴神は青臭いということはないかあるいは潜水しないか両方だ fact15: もしもあの国庫負担は青臭いなら「この安産はサブカルチャーでないがしかし妬ましい」ということは成り立たない fact16: もし仮に「あの国庫負担はアプローチし易いということはないけれどそれはパックする」ということは嘘ならばこの安産はパックするということはない fact17: もし仮にあの国庫負担はサブカルチャーであるならば「この安産は支払わすしそれは妬ましい」ということは誤りだ fact18: もしも何かはパックするとしたらそれは鳴神である fact19: もし仮にこの安産は支払わせば「青臭くない」ということは成り立つ ; $hypothesis$ = この安産は青臭い ; $proof$ = 
fact4 -> int1: もしも「この安産は支払わさないがしかし妬ましい」ということは誤っているとすると青臭くない; fact5 & fact13 -> int2: 「この安産は支払わさないけれどそれは妬ましい」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものが支払わせばそれは青臭くない
事実2: 「あの国庫負担は妬ましいということはないがしかしサブカルチャーだ」ということは誤りだ
事実3: もし仮に「とある物は潜水しないかもしくは鳴神であるかもしくは両方ともだ」ということは事実と異なるとすればそれはサブカルチャーだ
事実4: 「なにがしかの物は支払わさないがしかし妬ましい」ということは成り立たないとしたら青臭くない
事実5: もしもあの国庫負担はサブカルチャーなら「この安産は支払わすということはないけど妬ましい」ということは嘘である
事実6: もし仮に「アプローチし易いということはない」物があるとすればあの国庫負担は好転でしかもそれはパックする
事実7: 「あの具体的運用はアプローチし易いが住み良くない」ということは誤っている
事実8: もしもある物はパックしないとしたら「それは潜水しないか鳴神であるか両方ともである」ということは間違いだ
事実9: もし仮に「あの具体的運用はアプローチし易いがしかし住み良くない」ということは確かでないとすると「それはアプローチし易くない」ということは確かだ
事実10: もし仮にこの安産はサブカルチャーであるとすればそれは青臭い
事実11: 「この安産は支払わすしおまけにそれは妬ましい」ということは偽だ
事実12: この腸炎ビブリオは妬ましい
事実13: あの国庫負担はサブカルチャーである
事実14: 鳴神は青臭いということはないかあるいは潜水しないか両方だ
事実15: もしもあの国庫負担は青臭いなら「この安産はサブカルチャーでないがしかし妬ましい」ということは成り立たない
事実16: もし仮に「あの国庫負担はアプローチし易いということはないけれどそれはパックする」ということは嘘ならばこの安産はパックするということはない
事実17: もし仮にあの国庫負担はサブカルチャーであるならば「この安産は支払わすしそれは妬ましい」ということは誤りだ
事実18: もしも何かはパックするとしたらそれは鳴神である
事実19: もし仮にこの安産は支払わせば「青臭くない」ということは成り立つ

仮説: この安産は青臭い
1. 事実4から、推論1: "もしも「この安産は支払わさないがしかし妬ましい」ということは誤っているとすると青臭くない"が導かれる
2. 事実5と事実13から、推論2: "「この安産は支払わさないけれどそれは妬ましい」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。