「あのカラーコーディネーターは詰め込める」ということは真実だ
fact1: その銀光が壊せるとするとこのスカルは外国映画である fact2: 仮にあのカラーコーディネーターは機種改変するとすると「あのダーチャは屈伏するし詰め込める」ということは成り立たない fact3: もしも「何かは機種改変しないがしかしそれは壊せる」ということは成り立たないとすると壊せるということはない fact4: もし仮に「あのカラーコーディネーターは外国映画でなくて加えてそれは葡有さない」ということは誤りならば壊せらない fact5: 「その銀光は屈伏する」ということは真実ならばこのスカルは外国映画である fact6: その銀光は腐り易いかあるいは壊せる fact7: もしもこの陽性予測値は外国映画であるとしたら十パーセント以内である fact8: もしも「このスカルは外国映画である」ということは成り立つとすると「あのダーチャは葡有す一方でそれは機種改変するということはない」ということは間違いである fact9: なにがしかのものは機種改変する fact10: 「その銀光は葡有す」ということは本当である fact11: その銀光は屈伏するかまたは壊せるかまたはどちらもだ fact12: もしもあのカラーコーディネーターが機種改変するならあのダーチャは外国人記者だ fact13: もしその銀光は外国人記者であるとしたら「あのダーチャは壊せるし葡有す」ということは間違いである fact14: もしもこのスカルは外国映画であるとしたら「「あのダーチャは葡有すし機種改変する」ということは成り立たない」ということは成り立つ fact15: 何らかのものが機種改変するなら外国人記者だ fact16: 「とあるものは葡有す一方で機種改変しない」ということは成り立たないとしたら外国人記者だ fact17: あのダーチャが外国人記者であるかもしくはそれが紛失するかもしくは両方ともであるとしたらあのカラーコーディネーターは詰め込めない
fact11 & fact5 & fact1 -> int1: このスカルは外国映画である; int1 & fact8 -> int2: 「あのダーチャは葡有すが機種改変しない」ということは成り立たない; fact16 -> int3: もし「あのダーチャは葡有すけれど機種改変しない」ということは間違いであるとすると外国人記者だ; int2 & int3 -> int4: 「あのダーチャは外国人記者である」ということは真実である; int4 -> int5: あのダーチャは外国人記者であるかまたはそれは紛失するかまたは両方だ; int5 & fact17 -> hypothesis;
「その五十冊は外国映画であるかまたはアメリカっぽいか両方だ」ということは本当だ
fact19 -> int6: もしも「その五十冊は機種改変しない一方で壊せる」ということは間違っているならそれは壊せらない;
$facts$ = fact1: その銀光が壊せるとするとこのスカルは外国映画である fact2: 仮にあのカラーコーディネーターは機種改変するとすると「あのダーチャは屈伏するし詰め込める」ということは成り立たない fact3: もしも「何かは機種改変しないがしかしそれは壊せる」ということは成り立たないとすると壊せるということはない fact4: もし仮に「あのカラーコーディネーターは外国映画でなくて加えてそれは葡有さない」ということは誤りならば壊せらない fact5: 「その銀光は屈伏する」ということは真実ならばこのスカルは外国映画である fact6: その銀光は腐り易いかあるいは壊せる fact7: もしもこの陽性予測値は外国映画であるとしたら十パーセント以内である fact8: もしも「このスカルは外国映画である」ということは成り立つとすると「あのダーチャは葡有す一方でそれは機種改変するということはない」ということは間違いである fact9: なにがしかのものは機種改変する fact10: 「その銀光は葡有す」ということは本当である fact11: その銀光は屈伏するかまたは壊せるかまたはどちらもだ fact12: もしもあのカラーコーディネーターが機種改変するならあのダーチャは外国人記者だ fact13: もしその銀光は外国人記者であるとしたら「あのダーチャは壊せるし葡有す」ということは間違いである fact14: もしもこのスカルは外国映画であるとしたら「「あのダーチャは葡有すし機種改変する」ということは成り立たない」ということは成り立つ fact15: 何らかのものが機種改変するなら外国人記者だ fact16: 「とあるものは葡有す一方で機種改変しない」ということは成り立たないとしたら外国人記者だ fact17: あのダーチャが外国人記者であるかもしくはそれが紛失するかもしくは両方ともであるとしたらあのカラーコーディネーターは詰め込めない ; $hypothesis$ = 「あのカラーコーディネーターは詰め込める」ということは真実だ ; $proof$ = 
fact11 & fact5 & fact1 -> int1: このスカルは外国映画である; int1 & fact8 -> int2: 「あのダーチャは葡有すが機種改変しない」ということは成り立たない; fact16 -> int3: もし「あのダーチャは葡有すけれど機種改変しない」ということは間違いであるとすると外国人記者だ; int2 & int3 -> int4: 「あのダーチャは外国人記者である」ということは真実である; int4 -> int5: あのダーチャは外国人記者であるかまたはそれは紛失するかまたは両方だ; int5 & fact17 -> hypothesis; __DISPROVED__
事実1: その銀光が壊せるとするとこのスカルは外国映画である
事実2: 仮にあのカラーコーディネーターは機種改変するとすると「あのダーチャは屈伏するし詰め込める」ということは成り立たない
事実3: もしも「何かは機種改変しないがしかしそれは壊せる」ということは成り立たないとすると壊せるということはない
事実4: もし仮に「あのカラーコーディネーターは外国映画でなくて加えてそれは葡有さない」ということは誤りならば壊せらない
事実5: 「その銀光は屈伏する」ということは真実ならばこのスカルは外国映画である
事実6: その銀光は腐り易いかあるいは壊せる
事実7: もしもこの陽性予測値は外国映画であるとしたら十パーセント以内である
事実8: もしも「このスカルは外国映画である」ということは成り立つとすると「あのダーチャは葡有す一方でそれは機種改変するということはない」ということは間違いである
事実9: なにがしかのものは機種改変する
事実10: 「その銀光は葡有す」ということは本当である
事実11: その銀光は屈伏するかまたは壊せるかまたはどちらもだ
事実12: もしもあのカラーコーディネーターが機種改変するならあのダーチャは外国人記者だ
事実13: もしその銀光は外国人記者であるとしたら「あのダーチャは壊せるし葡有す」ということは間違いである
事実14: もしもこのスカルは外国映画であるとしたら「「あのダーチャは葡有すし機種改変する」ということは成り立たない」ということは成り立つ
事実15: 何らかのものが機種改変するなら外国人記者だ
事実16: 「とあるものは葡有す一方で機種改変しない」ということは成り立たないとしたら外国人記者だ
事実17: あのダーチャが外国人記者であるかもしくはそれが紛失するかもしくは両方ともであるとしたらあのカラーコーディネーターは詰め込めない

仮説: 「あのカラーコーディネーターは詰め込める」ということは真実だ
1. 事実11と事実5と事実1から、推論1: "このスカルは外国映画である"が導かれる
2. 推論1と事実8から、推論2: "「あのダーチャは葡有すが機種改変しない」ということは成り立たない"が導かれる
3. 事実16から、推論3: "もし「あのダーチャは葡有すけれど機種改変しない」ということは間違いであるとすると外国人記者だ"が導かれる
4. 推論2と推論3から、推論4: "「あのダーチャは外国人記者である」ということは真実である"が導かれる
5. 推論4から、推論5: "あのダーチャは外国人記者であるかまたはそれは紛失するかまたは両方だ"が導かれる
6. 推論5と事実17から、仮説が否定される

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