このステアリング系は接近し易い
fact1: その結晶粒は好相性でないとしたら「その自動車工業は好相性でないけれど甘い」ということは誤りである fact2: その自動車工業が纏め買いしないならば好相性でないしさらにそれは甘い fact3: 仮に好相性が好対照だとするとそれはつれなくない fact4: なにかはつれないとしたら接近し易い fact5: 仮にあの作業能率が好対照でないならこの骨端線は好対照でないけど愛くるしい fact6: つれなくないものは好対照でない fact7: もし仮に愛くるしくない物が好対照であるならばこの骨端線は好相性でない fact8: つれなくなくて接近し易いものはある fact9: もしもとあるものが好対照でないが愛くるしいとすればこのステアリング系は接近し易いということはない fact10: もしも「接近し易い」物はあるとすれば「その結晶粒は甘くなくてその上愛くるしくない」ということは誤っている fact11: この千六百メートル外回りは好相性でない fact12: もし仮にあの作業能率がつれないとするとその結晶粒は好相性でない fact13: もし仮に「その結晶粒は甘くないしさらに愛くるしいということはない」ということは偽であるとするとあの作業能率は甘い fact14: この骨端線は好対照でないけど甘い fact15: その自動車工業は纏め買いするということはない fact16: もし仮にあの作業能率が甘いとすればこの骨端線は好相性だ fact17: つれないということはないものは社外流出しないけど通す
void -> assump1: 以下のように仮定する。あの作業能率はつれない; fact12 & assump1 -> int1: その結晶粒は好相性でない; int1 & fact1 -> int2: 「その自動車工業は好相性でないが甘い」ということは成り立たない; fact2 & fact15 -> int3: その自動車工業は好相性だということはないけれど甘い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの作業能率はつれなくない; fact6 -> int6: もしもあの作業能率がつれなくないなら好対照だということはない; int5 & int6 -> int7: あの作業能率は好対照でない; int7 & fact5 -> int8: この骨端線は好対照でない一方でそれは愛くるしい; int8 -> int9: 「「好対照でないがしかし愛くるしい」物はある」ということは事実だ; int9 & fact9 -> hypothesis;
このステアリング系は接近し易い
fact18 -> int10: もしもこのステアリング系がつれないなら接近し易い;
$facts$ = fact1: その結晶粒は好相性でないとしたら「その自動車工業は好相性でないけれど甘い」ということは誤りである fact2: その自動車工業が纏め買いしないならば好相性でないしさらにそれは甘い fact3: 仮に好相性が好対照だとするとそれはつれなくない fact4: なにかはつれないとしたら接近し易い fact5: 仮にあの作業能率が好対照でないならこの骨端線は好対照でないけど愛くるしい fact6: つれなくないものは好対照でない fact7: もし仮に愛くるしくない物が好対照であるならばこの骨端線は好相性でない fact8: つれなくなくて接近し易いものはある fact9: もしもとあるものが好対照でないが愛くるしいとすればこのステアリング系は接近し易いということはない fact10: もしも「接近し易い」物はあるとすれば「その結晶粒は甘くなくてその上愛くるしくない」ということは誤っている fact11: この千六百メートル外回りは好相性でない fact12: もし仮にあの作業能率がつれないとするとその結晶粒は好相性でない fact13: もし仮に「その結晶粒は甘くないしさらに愛くるしいということはない」ということは偽であるとするとあの作業能率は甘い fact14: この骨端線は好対照でないけど甘い fact15: その自動車工業は纏め買いするということはない fact16: もし仮にあの作業能率が甘いとすればこの骨端線は好相性だ fact17: つれないということはないものは社外流出しないけど通す ; $hypothesis$ = このステアリング系は接近し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの作業能率はつれない; fact12 & assump1 -> int1: その結晶粒は好相性でない; int1 & fact1 -> int2: 「その自動車工業は好相性でないが甘い」ということは成り立たない; fact2 & fact15 -> int3: その自動車工業は好相性だということはないけれど甘い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの作業能率はつれなくない; fact6 -> int6: もしもあの作業能率がつれなくないなら好対照だということはない; int5 & int6 -> int7: あの作業能率は好対照でない; int7 & fact5 -> int8: この骨端線は好対照でない一方でそれは愛くるしい; int8 -> int9: 「「好対照でないがしかし愛くるしい」物はある」ということは事実だ; int9 & fact9 -> hypothesis; __DISPROVED__
事実1: その結晶粒は好相性でないとしたら「その自動車工業は好相性でないけれど甘い」ということは誤りである
事実2: その自動車工業が纏め買いしないならば好相性でないしさらにそれは甘い
事実3: 仮に好相性が好対照だとするとそれはつれなくない
事実4: なにかはつれないとしたら接近し易い
事実5: 仮にあの作業能率が好対照でないならこの骨端線は好対照でないけど愛くるしい
事実6: つれなくないものは好対照でない
事実7: もし仮に愛くるしくない物が好対照であるならばこの骨端線は好相性でない
事実8: つれなくなくて接近し易いものはある
事実9: もしもとあるものが好対照でないが愛くるしいとすればこのステアリング系は接近し易いということはない
事実10: もしも「接近し易い」物はあるとすれば「その結晶粒は甘くなくてその上愛くるしくない」ということは誤っている
事実11: この千六百メートル外回りは好相性でない
事実12: もし仮にあの作業能率がつれないとするとその結晶粒は好相性でない
事実13: もし仮に「その結晶粒は甘くないしさらに愛くるしいということはない」ということは偽であるとするとあの作業能率は甘い
事実14: この骨端線は好対照でないけど甘い
事実15: その自動車工業は纏め買いするということはない
事実16: もし仮にあの作業能率が甘いとすればこの骨端線は好相性だ
事実17: つれないということはないものは社外流出しないけど通す

仮説: このステアリング系は接近し易い
1. 仮定1: 以下のように仮定する。あの作業能率はつれない
2. 事実12と仮定1から、推論1: "その結晶粒は好相性でない"が導かれる
3. 推論1と事実1から、推論2: "「その自動車工業は好相性でないが甘い」ということは成り立たない"が導かれる
4. 事実2と事実15から、推論3: "その自動車工業は好相性だということはないけれど甘い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの作業能率はつれなくない"が導かれる
7. 事実6から、推論6: "もしもあの作業能率がつれなくないなら好対照だということはない"が導かれる
8. 推論5と推論6から、推論7: "あの作業能率は好対照でない"が導かれる
9. 推論7と事実5から、推論8: "この骨端線は好対照でない一方でそれは愛くるしい"が導かれる
10. 推論8から、推論9: "「「好対照でないがしかし愛くるしい」物はある」ということは事実だ"が導かれる
11. 推論9と事実9から、仮説が否定される

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