あのドナー部位はデジタル信号でかつ勅撰集である
fact1: もしもこのＨＡＤは三千六百ＲＰＭでないとしたらそれは御し易くないけど米穀通帳だ fact2: 「このＨＡＤは三千六百ＲＰＭでない」ということは嘘でない fact3: 取り組み易くないし分離し易いものは交際する fact4: もし仮になにかは交際するし加えて鋳造するならそのレベル以上は観察し易いということはない fact5: 全ての物は取り組み易くなくて分離し易い fact6: もし仮に何らかの物は御し易くないけど米穀通帳ならばそれは鋳造する fact7: もしもある物は交際するとすると「分離し易くないしそれは取り組み易いということはない」ということは成り立たない fact8: 「そのレベル以上は観察し易くない」ということは成り立つとしたら「あのドナー部位はデジタル信号だしさらに勅撰集だ」ということは本当でない fact9: そのレベル以上は取り組み易くない
fact5 -> int1: このＨＡＤは取り組み易いということはないがそれは分離し易い; fact3 -> int2: もし仮にこのＨＡＤは取り組み易くない一方で分離し易いならばそれは交際する; int1 & int2 -> int3: このＨＡＤは交際する; fact6 -> int4: このＨＡＤが御し易くない一方でそれは米穀通帳だとすれば「それは鋳造する」ということは確かである; fact1 & fact2 -> int5: このＨＡＤは御し易くないがしかし米穀通帳だ; int4 & int5 -> int6: このＨＡＤは鋳造する; int3 & int6 -> int7: このＨＡＤは交際するし加えて鋳造する; int7 -> int8: とあるものは交際するし加えて鋳造する; int8 & fact4 -> int9: そのレベル以上は観察し易くない; int9 & fact8 -> hypothesis;
そのレベル以上は通り難くない
fact10 -> int10: 仮にあのドナー部位は交際するとすると「それは分離し易くないししかも取り組み易くない」ということは成り立たない;
$facts$ = fact1: もしもこのＨＡＤは三千六百ＲＰＭでないとしたらそれは御し易くないけど米穀通帳だ fact2: 「このＨＡＤは三千六百ＲＰＭでない」ということは嘘でない fact3: 取り組み易くないし分離し易いものは交際する fact4: もし仮になにかは交際するし加えて鋳造するならそのレベル以上は観察し易いということはない fact5: 全ての物は取り組み易くなくて分離し易い fact6: もし仮に何らかの物は御し易くないけど米穀通帳ならばそれは鋳造する fact7: もしもある物は交際するとすると「分離し易くないしそれは取り組み易いということはない」ということは成り立たない fact8: 「そのレベル以上は観察し易くない」ということは成り立つとしたら「あのドナー部位はデジタル信号だしさらに勅撰集だ」ということは本当でない fact9: そのレベル以上は取り組み易くない ; $hypothesis$ = あのドナー部位はデジタル信号でかつ勅撰集である ; $proof$ = 
fact5 -> int1: このＨＡＤは取り組み易いということはないがそれは分離し易い; fact3 -> int2: もし仮にこのＨＡＤは取り組み易くない一方で分離し易いならばそれは交際する; int1 & int2 -> int3: このＨＡＤは交際する; fact6 -> int4: このＨＡＤが御し易くない一方でそれは米穀通帳だとすれば「それは鋳造する」ということは確かである; fact1 & fact2 -> int5: このＨＡＤは御し易くないがしかし米穀通帳だ; int4 & int5 -> int6: このＨＡＤは鋳造する; int3 & int6 -> int7: このＨＡＤは交際するし加えて鋳造する; int7 -> int8: とあるものは交際するし加えて鋳造する; int8 & fact4 -> int9: そのレベル以上は観察し易くない; int9 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもこのＨＡＤは三千六百ＲＰＭでないとしたらそれは御し易くないけど米穀通帳だ
事実2: 「このＨＡＤは三千六百ＲＰＭでない」ということは嘘でない
事実3: 取り組み易くないし分離し易いものは交際する
事実4: もし仮になにかは交際するし加えて鋳造するならそのレベル以上は観察し易いということはない
事実5: 全ての物は取り組み易くなくて分離し易い
事実6: もし仮に何らかの物は御し易くないけど米穀通帳ならばそれは鋳造する
事実7: もしもある物は交際するとすると「分離し易くないしそれは取り組み易いということはない」ということは成り立たない
事実8: 「そのレベル以上は観察し易くない」ということは成り立つとしたら「あのドナー部位はデジタル信号だしさらに勅撰集だ」ということは本当でない
事実9: そのレベル以上は取り組み易くない

仮説: あのドナー部位はデジタル信号でかつ勅撰集である
1. 事実5から、推論1: "このＨＡＤは取り組み易いということはないがそれは分離し易い"が導かれる
2. 事実3から、推論2: "もし仮にこのＨＡＤは取り組み易くない一方で分離し易いならばそれは交際する"が導かれる
3. 推論1と推論2から、推論3: "このＨＡＤは交際する"が導かれる
4. 事実6から、推論4: "このＨＡＤが御し易くない一方でそれは米穀通帳だとすれば「それは鋳造する」ということは確かである"が導かれる
5. 事実1と事実2から、推論5: "このＨＡＤは御し易くないがしかし米穀通帳だ"が導かれる
6. 推論4と推論5から、推論6: "このＨＡＤは鋳造する"が導かれる
7. 推論3と推論6から、推論7: "このＨＡＤは交際するし加えて鋳造する"が導かれる
8. 推論7から、推論8: "とあるものは交際するし加えて鋳造する"が導かれる
9. 推論8と事実4から、推論9: "そのレベル以上は観察し易くない"が導かれる
10. 推論9と事実8から、仮説が否定される

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