この消極的運用は共有名である
fact1: 「あの底質はとろくてそれは変わり易い」ということは偽ならばこのエスノメソドロジーはとろくない fact2: もし仮にこの消極的運用が共有名でないがそれは提示出来るとすれば「このエスノメソドロジーは益無しということはない」ということは真実である fact3: もしもあるものは益無しないなら「し難いということはない一方でリアル過ぎる」ということは誤っている fact4: もし仮にとある物はリアル過ぎるということはないとすれば「ブレンドだし更に提示出来る」ということは偽だ fact5: 仮にあの存在様式がグラビア雑誌でないしさらにそれが貰わないならばこの千羽鶴は提示出来るということはない fact6: もしもこのエスノメソドロジーが益無しないとすればあの消極的運用は共有名である fact7: このエスノメソドロジーはブレンドでない fact8: 仮に「あの存在様式はブレンドであるし加えて提示出来る」ということは間違っていればこの消極的運用は共有名でない fact9: このエスノメソドロジーが貧乏するし更にＣツーであるとしたらこの千羽鶴は貧乏しない fact10: とろくない物は貧乏するしＣツーだ fact11: 「何かはし難くないがしかしリアル過ぎる」ということは事実と異なるとするとリアル過ぎない fact12: 「仮にこのエスノメソドロジーがリアル過ぎないがしかしブレンドだとすればあのエスノメソドロジーは益無しない」ということは成り立つ fact13: あの存在様式はグラビア雑誌でなくて貰わない fact14: 「あの底質はとろくてさらに変わり易い」ということは誤っている fact15: もしもあるものがリアル過ぎなくてブレンドでないならばそれは益無しない fact16: もしも「この千羽鶴は提示出来ない」ということは確かだとすればこのエスノメソドロジーはリアル過ぎないしかつブレンドだということはない fact17: 仮にこの千羽鶴が提示出来ないならばあのエスノメソドロジーはブレンドでない
fact5 & fact13 -> int1: この千羽鶴は提示出来るということはない; int1 & fact16 -> int2: このエスノメソドロジーはリアル過ぎなくてその上それはブレンドだということはない; fact15 -> int3: このエスノメソドロジーはリアル過ぎなくてブレンドでないなら益無しない; int2 & int3 -> int4: このエスノメソドロジーは益無しということはない; int4 & fact6 -> hypothesis;
この消極的運用は共有名でない
fact25 -> int5: あの存在様式はリアル過ぎないならば「それはブレンドであるしまた提示出来る」ということは偽だ; fact18 -> int6: 仮に「あの存在様式はし難くないけどリアル過ぎる」ということは事実と異なればリアル過ぎるということはない; fact20 -> int7: もし仮にあの存在様式は益無しないとすると「し難くないがリアル過ぎる」ということは成り立つということはない; fact24 -> int8: もしこのエスノメソドロジーがとろくないならそれは貧乏するしＣツーだ; fact21 & fact23 -> int9: このエスノメソドロジーはとろくない; int8 & int9 -> int10: このエスノメソドロジーは貧乏するしさらにＣツーである; fact19 & int10 -> int11: この千羽鶴は貧乏するということはない; int11 -> int12: 「「貧乏しない」ということは確かである」物はある;
$facts$ = fact1: 「あの底質はとろくてそれは変わり易い」ということは偽ならばこのエスノメソドロジーはとろくない fact2: もし仮にこの消極的運用が共有名でないがそれは提示出来るとすれば「このエスノメソドロジーは益無しということはない」ということは真実である fact3: もしもあるものは益無しないなら「し難いということはない一方でリアル過ぎる」ということは誤っている fact4: もし仮にとある物はリアル過ぎるということはないとすれば「ブレンドだし更に提示出来る」ということは偽だ fact5: 仮にあの存在様式がグラビア雑誌でないしさらにそれが貰わないならばこの千羽鶴は提示出来るということはない fact6: もしもこのエスノメソドロジーが益無しないとすればあの消極的運用は共有名である fact7: このエスノメソドロジーはブレンドでない fact8: 仮に「あの存在様式はブレンドであるし加えて提示出来る」ということは間違っていればこの消極的運用は共有名でない fact9: このエスノメソドロジーが貧乏するし更にＣツーであるとしたらこの千羽鶴は貧乏しない fact10: とろくない物は貧乏するしＣツーだ fact11: 「何かはし難くないがしかしリアル過ぎる」ということは事実と異なるとするとリアル過ぎない fact12: 「仮にこのエスノメソドロジーがリアル過ぎないがしかしブレンドだとすればあのエスノメソドロジーは益無しない」ということは成り立つ fact13: あの存在様式はグラビア雑誌でなくて貰わない fact14: 「あの底質はとろくてさらに変わり易い」ということは誤っている fact15: もしもあるものがリアル過ぎなくてブレンドでないならばそれは益無しない fact16: もしも「この千羽鶴は提示出来ない」ということは確かだとすればこのエスノメソドロジーはリアル過ぎないしかつブレンドだということはない fact17: 仮にこの千羽鶴が提示出来ないならばあのエスノメソドロジーはブレンドでない ; $hypothesis$ = この消極的運用は共有名である ; $proof$ = 
fact5 & fact13 -> int1: この千羽鶴は提示出来るということはない; int1 & fact16 -> int2: このエスノメソドロジーはリアル過ぎなくてその上それはブレンドだということはない; fact15 -> int3: このエスノメソドロジーはリアル過ぎなくてブレンドでないなら益無しない; int2 & int3 -> int4: このエスノメソドロジーは益無しということはない; int4 & fact6 -> hypothesis; __PROVED__
事実1: 「あの底質はとろくてそれは変わり易い」ということは偽ならばこのエスノメソドロジーはとろくない
事実2: もし仮にこの消極的運用が共有名でないがそれは提示出来るとすれば「このエスノメソドロジーは益無しということはない」ということは真実である
事実3: もしもあるものは益無しないなら「し難いということはない一方でリアル過ぎる」ということは誤っている
事実4: もし仮にとある物はリアル過ぎるということはないとすれば「ブレンドだし更に提示出来る」ということは偽だ
事実5: 仮にあの存在様式がグラビア雑誌でないしさらにそれが貰わないならばこの千羽鶴は提示出来るということはない
事実6: もしもこのエスノメソドロジーが益無しないとすればあの消極的運用は共有名である
事実7: このエスノメソドロジーはブレンドでない
事実8: 仮に「あの存在様式はブレンドであるし加えて提示出来る」ということは間違っていればこの消極的運用は共有名でない
事実9: このエスノメソドロジーが貧乏するし更にＣツーであるとしたらこの千羽鶴は貧乏しない
事実10: とろくない物は貧乏するしＣツーだ
事実11: 「何かはし難くないがしかしリアル過ぎる」ということは事実と異なるとするとリアル過ぎない
事実12: 「仮にこのエスノメソドロジーがリアル過ぎないがしかしブレンドだとすればあのエスノメソドロジーは益無しない」ということは成り立つ
事実13: あの存在様式はグラビア雑誌でなくて貰わない
事実14: 「あの底質はとろくてさらに変わり易い」ということは誤っている
事実15: もしもあるものがリアル過ぎなくてブレンドでないならばそれは益無しない
事実16: もしも「この千羽鶴は提示出来ない」ということは確かだとすればこのエスノメソドロジーはリアル過ぎないしかつブレンドだということはない
事実17: 仮にこの千羽鶴が提示出来ないならばあのエスノメソドロジーはブレンドでない

仮説: この消極的運用は共有名である
1. 事実5と事実13から、推論1: "この千羽鶴は提示出来るということはない"が導かれる
2. 推論1と事実16から、推論2: "このエスノメソドロジーはリアル過ぎなくてその上それはブレンドだということはない"が導かれる
3. 事実15から、推論3: "このエスノメソドロジーはリアル過ぎなくてブレンドでないなら益無しない"が導かれる
4. 推論2と推論3から、推論4: "このエスノメソドロジーは益無しということはない"が導かれる
5. 推論4と事実6から、仮説が導かれる

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