このルーメン微生物叢は個別技術でない
fact1: 「このルーメン微生物叢は自衛隊員でない」ということは間違いだということはないならそれは疎ましかない fact2: このルーメン微生物叢は絶え間無いか鋳鉄製でないかもしくは両方である fact3: この黄色系は自衛隊員であるかもしくはそれは鋳鉄製だ fact4: もしこの黄色系が鋳鉄製でないとするとこのルーメン微生物叢は女性らしくない fact5: もし仮に何らかの物は女性らしいとすれば「それは疎ましいけれど鋳鉄製でない」ということは偽だ fact6: この黄色系は自衛隊員であるかもしくは鋳鉄製だということはない fact7: もし何かは鋳鉄製でないとすれば個別技術でない fact8: 疎ましくらない物は個別技術だ fact9: もし何かは女性らしくないとしたらそれは疎ましかない fact10: もし仮にこの黄色系が自衛隊員であるかまたは鋳鉄製でないとしたらこのルーメン微生物叢は女性らしいということはない fact11: もし仮に「この黄色系は女性らしいかもしくは個別技術でないかまたはどちらもである」ということは誤りであるならばあの職能資格制度は女性らしい fact12: もし「何らかのものは疎ましいけれど鋳鉄製でない」ということは間違いであるとすれば「鋳鉄製である」ということは確かだ fact13: なにかは鋳鉄製であるということはないとするとそれは女性らしくない
fact10 & fact6 -> int1: このルーメン微生物叢は女性らしくない; fact9 -> int2: 仮にこのルーメン微生物叢が女性らしくないならば疎ましいということはない; int1 & int2 -> int3: このルーメン微生物叢は疎ましかない; fact8 -> int4: もしもこのルーメン微生物叢は疎ましかないなら個別技術だ; int3 & int4 -> hypothesis;
あの職能資格制度は鋳鉄製だ
fact15 -> int5: もしも「あの職能資格制度は疎ましいけれど鋳鉄製でない」ということは成り立たないとしたら鋳鉄製である; fact14 -> int6: 仮にあの職能資格制度は女性らしいとしたら「それは疎ましくてかつ鋳鉄製でない」ということは成り立たない;
$facts$ = fact1: 「このルーメン微生物叢は自衛隊員でない」ということは間違いだということはないならそれは疎ましかない fact2: このルーメン微生物叢は絶え間無いか鋳鉄製でないかもしくは両方である fact3: この黄色系は自衛隊員であるかもしくはそれは鋳鉄製だ fact4: もしこの黄色系が鋳鉄製でないとするとこのルーメン微生物叢は女性らしくない fact5: もし仮に何らかの物は女性らしいとすれば「それは疎ましいけれど鋳鉄製でない」ということは偽だ fact6: この黄色系は自衛隊員であるかもしくは鋳鉄製だということはない fact7: もし何かは鋳鉄製でないとすれば個別技術でない fact8: 疎ましくらない物は個別技術だ fact9: もし何かは女性らしくないとしたらそれは疎ましかない fact10: もし仮にこの黄色系が自衛隊員であるかまたは鋳鉄製でないとしたらこのルーメン微生物叢は女性らしいということはない fact11: もし仮に「この黄色系は女性らしいかもしくは個別技術でないかまたはどちらもである」ということは誤りであるならばあの職能資格制度は女性らしい fact12: もし「何らかのものは疎ましいけれど鋳鉄製でない」ということは間違いであるとすれば「鋳鉄製である」ということは確かだ fact13: なにかは鋳鉄製であるということはないとするとそれは女性らしくない ; $hypothesis$ = このルーメン微生物叢は個別技術でない ; $proof$ = 
fact10 & fact6 -> int1: このルーメン微生物叢は女性らしくない; fact9 -> int2: 仮にこのルーメン微生物叢が女性らしくないならば疎ましいということはない; int1 & int2 -> int3: このルーメン微生物叢は疎ましかない; fact8 -> int4: もしもこのルーメン微生物叢は疎ましかないなら個別技術だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「このルーメン微生物叢は自衛隊員でない」ということは間違いだということはないならそれは疎ましかない
事実2: このルーメン微生物叢は絶え間無いか鋳鉄製でないかもしくは両方である
事実3: この黄色系は自衛隊員であるかもしくはそれは鋳鉄製だ
事実4: もしこの黄色系が鋳鉄製でないとするとこのルーメン微生物叢は女性らしくない
事実5: もし仮に何らかの物は女性らしいとすれば「それは疎ましいけれど鋳鉄製でない」ということは偽だ
事実6: この黄色系は自衛隊員であるかもしくは鋳鉄製だということはない
事実7: もし何かは鋳鉄製でないとすれば個別技術でない
事実8: 疎ましくらない物は個別技術だ
事実9: もし何かは女性らしくないとしたらそれは疎ましかない
事実10: もし仮にこの黄色系が自衛隊員であるかまたは鋳鉄製でないとしたらこのルーメン微生物叢は女性らしいということはない
事実11: もし仮に「この黄色系は女性らしいかもしくは個別技術でないかまたはどちらもである」ということは誤りであるならばあの職能資格制度は女性らしい
事実12: もし「何らかのものは疎ましいけれど鋳鉄製でない」ということは間違いであるとすれば「鋳鉄製である」ということは確かだ
事実13: なにかは鋳鉄製であるということはないとするとそれは女性らしくない

仮説: このルーメン微生物叢は個別技術でない
1. 事実10と事実6から、推論1: "このルーメン微生物叢は女性らしくない"が導かれる
2. 事実9から、推論2: "仮にこのルーメン微生物叢が女性らしくないならば疎ましいということはない"が導かれる
3. 推論1と推論2から、推論3: "このルーメン微生物叢は疎ましかない"が導かれる
4. 事実8から、推論4: "もしもこのルーメン微生物叢は疎ましかないなら個別技術だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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