あのフォルダオプションは厚し
fact1: 「あのフォルダオプションは溶接性である」ということは成り立つ fact2: もしもあのフォルダオプションが経済記事であるならば三地域間協力でなくてまたそれはクラスライブラリだということはない fact3: もしなにかは溶接性でないとするとそれは経済記事で乗艦する fact4: もし仮にあのフォルダオプションが三地域間協力だけどクラスライブラリでないならば理由等だ fact5: もしもあのフォルダオプションは経済記事であるとしたら三地域間協力であるということはない fact6: あのフォルダオプションは七本槍でその上それは溶接性だ fact7: この第三者意見報告書は厚し fact8: あのフォルダオプションは経済記事だ fact9: 「もしも理由等はマカロンであるならそれは厚しということはない」ということは成り立つ fact10: もしも何かは三地域間協力だということはないしさらにクラスライブラリでないならそれは理由等だ fact11: 仮に「その位置不良は経済記事だ」ということは事実と異ならないならあのフォルダオプションはマカロンであるかまたは理由等でないかもしくは両方だ fact12: あのフォルダオプションは三地域間協力でない fact13: もし仮に「この二千年代は七本槍でない一方で溶接性である」ということは成り立たないならその位置不良は溶接性でない fact14: もしなにがしかの物が乗艦しないとすればそれはマカロンである fact15: もしも三地域間協力がクラスライブラリだということはないとするとそれは理由等だ fact16: 仮にあのフォルダオプションが七本槍でそれは溶接性だとすると「乗艦しない」ということは事実だ
fact10 -> int1: もしもあのフォルダオプションは三地域間協力だということはなくてクラスライブラリでないとしたらそれは理由等だ; fact8 & fact2 -> int2: あのフォルダオプションは三地域間協力だということはなくてクラスライブラリでない; int1 & int2 -> int3: あのフォルダオプションは理由等である; fact16 & fact6 -> int4: あのフォルダオプションは乗艦しない; fact14 -> int5: もしあのフォルダオプションが乗艦しないとすればマカロンである; int4 & int5 -> int6: あのフォルダオプションはマカロンだ; int3 & int6 -> int7: あのフォルダオプションは理由等でマカロンだ; fact9 -> int8: もし仮にあのフォルダオプションが理由等だしマカロンだとすると厚しない; int7 & int8 -> hypothesis;
あのフォルダオプションは厚し
fact19 -> int9: もし仮にその位置不良は溶接性でないならそれは経済記事だし乗艦する;
$facts$ = fact1: 「あのフォルダオプションは溶接性である」ということは成り立つ fact2: もしもあのフォルダオプションが経済記事であるならば三地域間協力でなくてまたそれはクラスライブラリだということはない fact3: もしなにかは溶接性でないとするとそれは経済記事で乗艦する fact4: もし仮にあのフォルダオプションが三地域間協力だけどクラスライブラリでないならば理由等だ fact5: もしもあのフォルダオプションは経済記事であるとしたら三地域間協力であるということはない fact6: あのフォルダオプションは七本槍でその上それは溶接性だ fact7: この第三者意見報告書は厚し fact8: あのフォルダオプションは経済記事だ fact9: 「もしも理由等はマカロンであるならそれは厚しということはない」ということは成り立つ fact10: もしも何かは三地域間協力だということはないしさらにクラスライブラリでないならそれは理由等だ fact11: 仮に「その位置不良は経済記事だ」ということは事実と異ならないならあのフォルダオプションはマカロンであるかまたは理由等でないかもしくは両方だ fact12: あのフォルダオプションは三地域間協力でない fact13: もし仮に「この二千年代は七本槍でない一方で溶接性である」ということは成り立たないならその位置不良は溶接性でない fact14: もしなにがしかの物が乗艦しないとすればそれはマカロンである fact15: もしも三地域間協力がクラスライブラリだということはないとするとそれは理由等だ fact16: 仮にあのフォルダオプションが七本槍でそれは溶接性だとすると「乗艦しない」ということは事実だ ; $hypothesis$ = あのフォルダオプションは厚し ; $proof$ = 
fact10 -> int1: もしもあのフォルダオプションは三地域間協力だということはなくてクラスライブラリでないとしたらそれは理由等だ; fact8 & fact2 -> int2: あのフォルダオプションは三地域間協力だということはなくてクラスライブラリでない; int1 & int2 -> int3: あのフォルダオプションは理由等である; fact16 & fact6 -> int4: あのフォルダオプションは乗艦しない; fact14 -> int5: もしあのフォルダオプションが乗艦しないとすればマカロンである; int4 & int5 -> int6: あのフォルダオプションはマカロンだ; int3 & int6 -> int7: あのフォルダオプションは理由等でマカロンだ; fact9 -> int8: もし仮にあのフォルダオプションが理由等だしマカロンだとすると厚しない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「あのフォルダオプションは溶接性である」ということは成り立つ
事実2: もしもあのフォルダオプションが経済記事であるならば三地域間協力でなくてまたそれはクラスライブラリだということはない
事実3: もしなにかは溶接性でないとするとそれは経済記事で乗艦する
事実4: もし仮にあのフォルダオプションが三地域間協力だけどクラスライブラリでないならば理由等だ
事実5: もしもあのフォルダオプションは経済記事であるとしたら三地域間協力であるということはない
事実6: あのフォルダオプションは七本槍でその上それは溶接性だ
事実7: この第三者意見報告書は厚し
事実8: あのフォルダオプションは経済記事だ
事実9: 「もしも理由等はマカロンであるならそれは厚しということはない」ということは成り立つ
事実10: もしも何かは三地域間協力だということはないしさらにクラスライブラリでないならそれは理由等だ
事実11: 仮に「その位置不良は経済記事だ」ということは事実と異ならないならあのフォルダオプションはマカロンであるかまたは理由等でないかもしくは両方だ
事実12: あのフォルダオプションは三地域間協力でない
事実13: もし仮に「この二千年代は七本槍でない一方で溶接性である」ということは成り立たないならその位置不良は溶接性でない
事実14: もしなにがしかの物が乗艦しないとすればそれはマカロンである
事実15: もしも三地域間協力がクラスライブラリだということはないとするとそれは理由等だ
事実16: 仮にあのフォルダオプションが七本槍でそれは溶接性だとすると「乗艦しない」ということは事実だ

仮説: あのフォルダオプションは厚し
1. 事実10から、推論1: "もしもあのフォルダオプションは三地域間協力だということはなくてクラスライブラリでないとしたらそれは理由等だ"が導かれる
2. 事実8と事実2から、推論2: "あのフォルダオプションは三地域間協力だということはなくてクラスライブラリでない"が導かれる
3. 推論1と推論2から、推論3: "あのフォルダオプションは理由等である"が導かれる
4. 事実16と事実6から、推論4: "あのフォルダオプションは乗艦しない"が導かれる
5. 事実14から、推論5: "もしあのフォルダオプションが乗艦しないとすればマカロンである"が導かれる
6. 推論4と推論5から、推論6: "あのフォルダオプションはマカロンだ"が導かれる
7. 推論3と推論6から、推論7: "あのフォルダオプションは理由等でマカロンだ"が導かれる
8. 事実9から、推論8: "もし仮にあのフォルダオプションが理由等だしマカロンだとすると厚しない"が導かれる
9. 推論7と推論8から、仮説が否定される

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