その決定過程は分解出来ない
fact1: もしなんらかの物が注意深くないとすれば第三十八事件でない fact2: 「もし仮にその日本チームが氷柱であるとすればその決定過程は分解出来る」ということは本当だ fact3: 「その移植片は施政方針演説でおまけにそれはダブる」ということは成り立つ fact4: その移植片は施政方針演説だ fact5: もし仮に「何かは注意深くない」ということは正しいとすれば「それは施政方針演説でなくてかつダブる」ということは間違っている fact6: もしも何らかのものは業務用チラーでないならそれは目付きであるということはない fact7: もし仮にその移植片がダブるならその各項は注意深くない fact8: その各項が第三十八事件でないとすればその日本チームは第三十八事件であるかあるいは氷柱であるかあるいは両方ともである fact9: その日本チームはダブる fact10: もし仮にその日本チームが第三十八事件であるとすればあの決定過程は分解出来る fact11: 「その移植片は氷柱でないかまたは第三十八事件でないかもしくは両方だ」ということは間違いであるならばその決定過程は注意深くない fact12: 仮に「なんらかのものは施政方針演説でない一方でダブる」ということは正しくないならば分解出来るということはない
fact3 -> int1: その移植片はダブる; int1 & fact7 -> int2: その各項は注意深くない; fact1 -> int3: その各項が注意深くないとするとそれは第三十八事件でない; int2 & int3 -> int4: その各項は第三十八事件でない; int4 & fact8 -> int5: その日本チームは第三十八事件であるかあるいは氷柱であるかどちらもである; int5 & fact10 & fact2 -> hypothesis;
その決定過程は分解出来ない
fact15 -> int6: もしも「その決定過程は施政方針演説だということはない一方でそれはダブる」ということは成り立たないとすれば分解出来ない; fact13 -> int7: 仮にその決定過程は注意深くないとすると「施政方針演説でなくてそれはダブる」ということは誤りだ;
$facts$ = fact1: もしなんらかの物が注意深くないとすれば第三十八事件でない fact2: 「もし仮にその日本チームが氷柱であるとすればその決定過程は分解出来る」ということは本当だ fact3: 「その移植片は施政方針演説でおまけにそれはダブる」ということは成り立つ fact4: その移植片は施政方針演説だ fact5: もし仮に「何かは注意深くない」ということは正しいとすれば「それは施政方針演説でなくてかつダブる」ということは間違っている fact6: もしも何らかのものは業務用チラーでないならそれは目付きであるということはない fact7: もし仮にその移植片がダブるならその各項は注意深くない fact8: その各項が第三十八事件でないとすればその日本チームは第三十八事件であるかあるいは氷柱であるかあるいは両方ともである fact9: その日本チームはダブる fact10: もし仮にその日本チームが第三十八事件であるとすればあの決定過程は分解出来る fact11: 「その移植片は氷柱でないかまたは第三十八事件でないかもしくは両方だ」ということは間違いであるならばその決定過程は注意深くない fact12: 仮に「なんらかのものは施政方針演説でない一方でダブる」ということは正しくないならば分解出来るということはない ; $hypothesis$ = その決定過程は分解出来ない ; $proof$ = 
fact3 -> int1: その移植片はダブる; int1 & fact7 -> int2: その各項は注意深くない; fact1 -> int3: その各項が注意深くないとするとそれは第三十八事件でない; int2 & int3 -> int4: その各項は第三十八事件でない; int4 & fact8 -> int5: その日本チームは第三十八事件であるかあるいは氷柱であるかどちらもである; int5 & fact10 & fact2 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が注意深くないとすれば第三十八事件でない
事実2: 「もし仮にその日本チームが氷柱であるとすればその決定過程は分解出来る」ということは本当だ
事実3: 「その移植片は施政方針演説でおまけにそれはダブる」ということは成り立つ
事実4: その移植片は施政方針演説だ
事実5: もし仮に「何かは注意深くない」ということは正しいとすれば「それは施政方針演説でなくてかつダブる」ということは間違っている
事実6: もしも何らかのものは業務用チラーでないならそれは目付きであるということはない
事実7: もし仮にその移植片がダブるならその各項は注意深くない
事実8: その各項が第三十八事件でないとすればその日本チームは第三十八事件であるかあるいは氷柱であるかあるいは両方ともである
事実9: その日本チームはダブる
事実10: もし仮にその日本チームが第三十八事件であるとすればあの決定過程は分解出来る
事実11: 「その移植片は氷柱でないかまたは第三十八事件でないかもしくは両方だ」ということは間違いであるならばその決定過程は注意深くない
事実12: 仮に「なんらかのものは施政方針演説でない一方でダブる」ということは正しくないならば分解出来るということはない

仮説: その決定過程は分解出来ない
1. 事実3から、推論1: "その移植片はダブる"が導かれる
2. 推論1と事実7から、推論2: "その各項は注意深くない"が導かれる
3. 事実1から、推論3: "その各項が注意深くないとするとそれは第三十八事件でない"が導かれる
4. 推論2と推論3から、推論4: "その各項は第三十八事件でない"が導かれる
5. 推論4と事実8から、推論5: "その日本チームは第三十八事件であるかあるいは氷柱であるかどちらもである"が導かれる
6. 推論5と事実10と事実2から、仮説が否定される

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