「このやえん投入は焦げ臭いかもしくはそれは狭苦しいかあるいは両方だ」ということは間違っている
fact1: もしも「あの研究書は御宜しくないかそれは五室であるかどちらもだ」ということは偽だとすればこのルークは御宜しくない fact2: もしもある物が反らさないならこの版元は土着するしその上有りゃする fact3: もしあの研究書が空恐ろしいならそれは激しい fact4: もし仮にあるものは御宜しくないとすると「それは焦げ臭いか狭苦しいかまたはどちらもだ」ということは誤っている fact5: 「このやえん投入は五室だ」ということは正しい fact6: すべてのものは御宜しい fact7: このやえん投入は御宜しいかまたはそれは焦げ臭いかどちらもだ fact8: 疑わしないものは焦げ臭い fact9: 仮になにがしかのものが有りゃするとしたらそれは過ごし易くないし落城しない fact10: もし仮にこのルークが忝いならそれは御宜しい fact11: 「もしも「あのＸＳＬファイルは五室だ」ということは確かならこのルークは激しい」ということは本当だ fact12: 仮にこの版元は過ごし易くないとすれば「そのＣＯは感染し易いけどそれは所有出来ない」ということは成り立たない fact13: もし仮に「とある物は所有出来る」ということは成り立つとしたらそれは疑わしないが空恐ろしい fact14: なんらかのものは反らさない fact15: あらゆるものは重回帰分析である fact16: 「もし疑わしない物が空恐ろしいとすればそれは激しくない」ということは成り立つ fact17: このルークが空恐ろしいとすればこのやえん投入は疑わしない fact18: もし仮にこのルークが激しいかあるいはそれが空恐ろしいかあるいは両方であるならばあのやえん投入は疑わしない fact19: この商品供給は空恐ろしい fact20: 仮に何かは御宜しいとすればそれは五室である fact21: このやえん投入は空恐ろしい fact22: もし「「感染し易いけど所有出来ない」ということは事実と異なる」物があるならその風景論は所有出来る fact23: このルークは狭苦しい fact24: もし仮にこのルークは御宜しくないならば「このやえん投入は焦げ臭いかあるいは狭苦しいかあるいはどちらもだ」ということは間違いである fact25: このルークは疑わし
fact6 -> int1: あのＸＳＬファイルは御宜しい; fact20 -> int2: もしあのＸＳＬファイルは御宜しいならば「五室だ」ということは事実である; int1 & int2 -> int3: あのＸＳＬファイルは五室だ; int3 & fact11 -> int4: このルークは激しい; int4 -> int5: このルークは激しいかあるいは空恐ろしい; int5 & fact18 -> int6: このやえん投入は疑わしない; fact8 -> int7: 仮にこのやえん投入が疑わしないとすれば焦げ臭い; int6 & int7 -> int8: 「このやえん投入は焦げ臭い」ということは事実である; int8 -> hypothesis;
「このやえん投入は焦げ臭いかもしくは狭苦しい」ということは誤っている
fact27 -> int9: もし仮にこのやえん投入は御宜しくないとすると「それは焦げ臭いかもしくはそれは狭苦しい」ということは嘘だ;
$facts$ = fact1: もしも「あの研究書は御宜しくないかそれは五室であるかどちらもだ」ということは偽だとすればこのルークは御宜しくない fact2: もしもある物が反らさないならこの版元は土着するしその上有りゃする fact3: もしあの研究書が空恐ろしいならそれは激しい fact4: もし仮にあるものは御宜しくないとすると「それは焦げ臭いか狭苦しいかまたはどちらもだ」ということは誤っている fact5: 「このやえん投入は五室だ」ということは正しい fact6: すべてのものは御宜しい fact7: このやえん投入は御宜しいかまたはそれは焦げ臭いかどちらもだ fact8: 疑わしないものは焦げ臭い fact9: 仮になにがしかのものが有りゃするとしたらそれは過ごし易くないし落城しない fact10: もし仮にこのルークが忝いならそれは御宜しい fact11: 「もしも「あのＸＳＬファイルは五室だ」ということは確かならこのルークは激しい」ということは本当だ fact12: 仮にこの版元は過ごし易くないとすれば「そのＣＯは感染し易いけどそれは所有出来ない」ということは成り立たない fact13: もし仮に「とある物は所有出来る」ということは成り立つとしたらそれは疑わしないが空恐ろしい fact14: なんらかのものは反らさない fact15: あらゆるものは重回帰分析である fact16: 「もし疑わしない物が空恐ろしいとすればそれは激しくない」ということは成り立つ fact17: このルークが空恐ろしいとすればこのやえん投入は疑わしない fact18: もし仮にこのルークが激しいかあるいはそれが空恐ろしいかあるいは両方であるならばあのやえん投入は疑わしない fact19: この商品供給は空恐ろしい fact20: 仮に何かは御宜しいとすればそれは五室である fact21: このやえん投入は空恐ろしい fact22: もし「「感染し易いけど所有出来ない」ということは事実と異なる」物があるならその風景論は所有出来る fact23: このルークは狭苦しい fact24: もし仮にこのルークは御宜しくないならば「このやえん投入は焦げ臭いかあるいは狭苦しいかあるいはどちらもだ」ということは間違いである fact25: このルークは疑わし ; $hypothesis$ = 「このやえん投入は焦げ臭いかもしくはそれは狭苦しいかあるいは両方だ」ということは間違っている ; $proof$ = 
fact6 -> int1: あのＸＳＬファイルは御宜しい; fact20 -> int2: もしあのＸＳＬファイルは御宜しいならば「五室だ」ということは事実である; int1 & int2 -> int3: あのＸＳＬファイルは五室だ; int3 & fact11 -> int4: このルークは激しい; int4 -> int5: このルークは激しいかあるいは空恐ろしい; int5 & fact18 -> int6: このやえん投入は疑わしない; fact8 -> int7: 仮にこのやえん投入が疑わしないとすれば焦げ臭い; int6 & int7 -> int8: 「このやえん投入は焦げ臭い」ということは事実である; int8 -> hypothesis; __DISPROVED__
事実1: もしも「あの研究書は御宜しくないかそれは五室であるかどちらもだ」ということは偽だとすればこのルークは御宜しくない
事実2: もしもある物が反らさないならこの版元は土着するしその上有りゃする
事実3: もしあの研究書が空恐ろしいならそれは激しい
事実4: もし仮にあるものは御宜しくないとすると「それは焦げ臭いか狭苦しいかまたはどちらもだ」ということは誤っている
事実5: 「このやえん投入は五室だ」ということは正しい
事実6: すべてのものは御宜しい
事実7: このやえん投入は御宜しいかまたはそれは焦げ臭いかどちらもだ
事実8: 疑わしないものは焦げ臭い
事実9: 仮になにがしかのものが有りゃするとしたらそれは過ごし易くないし落城しない
事実10: もし仮にこのルークが忝いならそれは御宜しい
事実11: 「もしも「あのＸＳＬファイルは五室だ」ということは確かならこのルークは激しい」ということは本当だ
事実12: 仮にこの版元は過ごし易くないとすれば「そのＣＯは感染し易いけどそれは所有出来ない」ということは成り立たない
事実13: もし仮に「とある物は所有出来る」ということは成り立つとしたらそれは疑わしないが空恐ろしい
事実14: なんらかのものは反らさない
事実15: あらゆるものは重回帰分析である
事実16: 「もし疑わしない物が空恐ろしいとすればそれは激しくない」ということは成り立つ
事実17: このルークが空恐ろしいとすればこのやえん投入は疑わしない
事実18: もし仮にこのルークが激しいかあるいはそれが空恐ろしいかあるいは両方であるならばあのやえん投入は疑わしない
事実19: この商品供給は空恐ろしい
事実20: 仮に何かは御宜しいとすればそれは五室である
事実21: このやえん投入は空恐ろしい
事実22: もし「「感染し易いけど所有出来ない」ということは事実と異なる」物があるならその風景論は所有出来る
事実23: このルークは狭苦しい
事実24: もし仮にこのルークは御宜しくないならば「このやえん投入は焦げ臭いかあるいは狭苦しいかあるいはどちらもだ」ということは間違いである
事実25: このルークは疑わし

仮説: 「このやえん投入は焦げ臭いかもしくはそれは狭苦しいかあるいは両方だ」ということは間違っている
1. 事実6から、推論1: "あのＸＳＬファイルは御宜しい"が導かれる
2. 事実20から、推論2: "もしあのＸＳＬファイルは御宜しいならば「五室だ」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あのＸＳＬファイルは五室だ"が導かれる
4. 推論3と事実11から、推論4: "このルークは激しい"が導かれる
5. 推論4から、推論5: "このルークは激しいかあるいは空恐ろしい"が導かれる
6. 推論5と事実18から、推論6: "このやえん投入は疑わしない"が導かれる
7. 事実8から、推論7: "仮にこのやえん投入が疑わしないとすれば焦げ臭い"が導かれる
8. 推論6と推論7から、推論8: "「このやえん投入は焦げ臭い」ということは事実である"が導かれる
9. 推論8から、仮説が否定される

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