このオイルショック後は滑り難い
fact1: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがすこいならラッセルである fact2: あのＣ‐Ｘ　Ｃ‐Ｆはすこい fact3: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがラッセルであるとするとこの香油は変化し易い fact4: この僅差は変化し易いとしたら「このオイルショック後は滑り難くない一方で変化し易い」ということは成り立たない fact5: もしもこの香油は変化し易いとしたら「この僅差は設計施工するということはないけど変化し易い」ということは成り立つということはない fact6: もし仮にあのＣ‐Ｘ　Ｃ‐Ｆが滑り難いならばこのオイルショック後は滑り難い fact7: もし仮に「この僅差は設計施工しないがしかし変化し易い」ということは成り立たないとすればこのオイルショック後は滑り難くない
fact1 & fact2 -> int1: あのＣ‐Ｘ　Ｃ‐Ｆはラッセルだ; int1 & fact3 -> int2: この香油は変化し易い; int2 & fact5 -> int3: 「「この僅差は設計施工しない一方で変化し易い」ということは確かでない」ということは真実だ; int3 & fact7 -> hypothesis;
このオイルショック後は滑り難い
$facts$ = fact1: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがすこいならラッセルである fact2: あのＣ‐Ｘ　Ｃ‐Ｆはすこい fact3: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがラッセルであるとするとこの香油は変化し易い fact4: この僅差は変化し易いとしたら「このオイルショック後は滑り難くない一方で変化し易い」ということは成り立たない fact5: もしもこの香油は変化し易いとしたら「この僅差は設計施工するということはないけど変化し易い」ということは成り立つということはない fact6: もし仮にあのＣ‐Ｘ　Ｃ‐Ｆが滑り難いならばこのオイルショック後は滑り難い fact7: もし仮に「この僅差は設計施工しないがしかし変化し易い」ということは成り立たないとすればこのオイルショック後は滑り難くない ; $hypothesis$ = このオイルショック後は滑り難い ; $proof$ = 
fact1 & fact2 -> int1: あのＣ‐Ｘ　Ｃ‐Ｆはラッセルだ; int1 & fact3 -> int2: この香油は変化し易い; int2 & fact5 -> int3: 「「この僅差は設計施工しない一方で変化し易い」ということは確かでない」ということは真実だ; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがすこいならラッセルである
事実2: あのＣ‐Ｘ　Ｃ‐Ｆはすこい
事実3: 仮にあのＣ‐Ｘ　Ｃ‐Ｆがラッセルであるとするとこの香油は変化し易い
事実4: この僅差は変化し易いとしたら「このオイルショック後は滑り難くない一方で変化し易い」ということは成り立たない
事実5: もしもこの香油は変化し易いとしたら「この僅差は設計施工するということはないけど変化し易い」ということは成り立つということはない
事実6: もし仮にあのＣ‐Ｘ　Ｃ‐Ｆが滑り難いならばこのオイルショック後は滑り難い
事実7: もし仮に「この僅差は設計施工しないがしかし変化し易い」ということは成り立たないとすればこのオイルショック後は滑り難くない

仮説: このオイルショック後は滑り難い
1. 事実1と事実2から、推論1: "あのＣ‐Ｘ　Ｃ‐Ｆはラッセルだ"が導かれる
2. 推論1と事実3から、推論2: "この香油は変化し易い"が導かれる
3. 推論2と事実5から、推論3: "「「この僅差は設計施工しない一方で変化し易い」ということは確かでない」ということは真実だ"が導かれる
4. 推論3と事実7から、仮説が否定される

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