「あのショック安は介入するしおまけに格下げである」ということは成り立たない
fact1: あの拝命は介入するということはない fact2: あのショック安はラング・ハイランドでない fact3: あのショック安は債権差し押さえ命令でない fact4: 何らかのものは損害賠償請求しないなら「それは介入するし格下げである」ということは事実でない fact5: あのショック安は柔道クラブであるし遺存する fact6: あのショック安はスムージングするし形容し難い fact7: その保健支出は切り結ぶしまた格下げである fact8: 仮にあるものは債権差し押さえ命令であるなら「それは脂っこい」ということは正しい fact9: 「あのショック安は脂っこい」ということは正しい fact10: 「とあるものは黒い」ということは本当であるとしたらそれは介入する fact11: もし仮にあのショック安が債権差し押さえ命令でないとするとそれは脂っこくてそれに格下げである fact12: もしもこの舌触りは柔道クラブでないならば黒いし顕示する fact13: 「あのショック安は損害賠償請求するしそれに黒い」ということは間違っていない fact14: あの中流階級は介入する
fact13 -> int1: あのショック安は黒い; fact10 -> int2: もしあのショック安は黒いならば「それは介入する」ということは成り立つ; int1 & int2 -> int3: あのショック安は介入する; fact11 & fact3 -> int4: あのショック安は脂っこくて格下げだ; int4 -> int5: あのショック安は格下げだ; int3 & int5 -> hypothesis;
fact13 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact11 & fact3 -> int4: ({E}{a} & {D}{a}); int4 -> int5: {D}{a}; int3 & int5 -> hypothesis;
「あのショック安は介入するしさらに格下げである」ということは成り立たない
fact15 -> int6: 仮にあのショック安は損害賠償請求しないとすると「介入するし格下げである」ということは事実であるということはない;
$facts$ = fact1: あの拝命は介入するということはない fact2: あのショック安はラング・ハイランドでない fact3: あのショック安は債権差し押さえ命令でない fact4: 何らかのものは損害賠償請求しないなら「それは介入するし格下げである」ということは事実でない fact5: あのショック安は柔道クラブであるし遺存する fact6: あのショック安はスムージングするし形容し難い fact7: その保健支出は切り結ぶしまた格下げである fact8: 仮にあるものは債権差し押さえ命令であるなら「それは脂っこい」ということは正しい fact9: 「あのショック安は脂っこい」ということは正しい fact10: 「とあるものは黒い」ということは本当であるとしたらそれは介入する fact11: もし仮にあのショック安が債権差し押さえ命令でないとするとそれは脂っこくてそれに格下げである fact12: もしもこの舌触りは柔道クラブでないならば黒いし顕示する fact13: 「あのショック安は損害賠償請求するしそれに黒い」ということは間違っていない fact14: あの中流階級は介入する ; $hypothesis$ = 「あのショック安は介入するしおまけに格下げである」ということは成り立たない ; $proof$ = 
fact13 -> int1: あのショック安は黒い; fact10 -> int2: もしあのショック安は黒いならば「それは介入する」ということは成り立つ; int1 & int2 -> int3: あのショック安は介入する; fact11 & fact3 -> int4: あのショック安は脂っこくて格下げだ; int4 -> int5: あのショック安は格下げだ; int3 & int5 -> hypothesis; __DISPROVED__
事実1: あの拝命は介入するということはない
事実2: あのショック安はラング・ハイランドでない
事実3: あのショック安は債権差し押さえ命令でない
事実4: 何らかのものは損害賠償請求しないなら「それは介入するし格下げである」ということは事実でない
事実5: あのショック安は柔道クラブであるし遺存する
事実6: あのショック安はスムージングするし形容し難い
事実7: その保健支出は切り結ぶしまた格下げである
事実8: 仮にあるものは債権差し押さえ命令であるなら「それは脂っこい」ということは正しい
事実9: 「あのショック安は脂っこい」ということは正しい
事実10: 「とあるものは黒い」ということは本当であるとしたらそれは介入する
事実11: もし仮にあのショック安が債権差し押さえ命令でないとするとそれは脂っこくてそれに格下げである
事実12: もしもこの舌触りは柔道クラブでないならば黒いし顕示する
事実13: 「あのショック安は損害賠償請求するしそれに黒い」ということは間違っていない
事実14: あの中流階級は介入する

仮説: 「あのショック安は介入するしおまけに格下げである」ということは成り立たない
1. 事実13から、推論1: "あのショック安は黒い"が導かれる
2. 事実10から、推論2: "もしあのショック安は黒いならば「それは介入する」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あのショック安は介入する"が導かれる
4. 事実11と事実3から、推論4: "あのショック安は脂っこくて格下げだ"が導かれる
5. 推論4から、推論5: "あのショック安は格下げだ"が導かれる
6. 推論3と推論5から、仮説が否定される

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