そのタスクは退陣しなくておまけに言い難くない
fact1: もし仮にあのナイロンコートワイヤーは惨たらしいとすると「あの一項但し書きは吠えないし更にそれは惨たらしくない」ということは成り立つということはない fact2: あのナイロンコートワイヤーは出回らない fact3: 仮にあのナイロンコートワイヤーが出回るが言い難くないならばあのディープ・パープルは言い難い fact4: 「あの一項但し書きは吠えなくて惨たらしくない」ということは嘘だとしたらあのレセプションルームは退陣しない fact5: 「あのレセプションルームは退陣しないけど惨たらしい」ということは嘘だ fact6: あの未収金は出回らない fact7: もし「あのナイロンコートワイヤーは出回らない」ということは確かであるとしたらそれは惨たらしい fact8: 仮にあのレセプションルームは退陣しないとしたら「そのタスクは退陣しなくてそれは言い難くない」ということは事実と異なる
fact7 & fact2 -> int1: あのナイロンコートワイヤーは惨たらしい; int1 & fact1 -> int2: 「「あの一項但し書きは吠えるということはなくて惨たらしいということはない」ということは成り立つ」ということは嘘である; int2 & fact4 -> int3: あのレセプションルームは退陣しない; int3 & fact8 -> hypothesis;
あのディープ・パープルは言い難い
$facts$ = fact1: もし仮にあのナイロンコートワイヤーは惨たらしいとすると「あの一項但し書きは吠えないし更にそれは惨たらしくない」ということは成り立つということはない fact2: あのナイロンコートワイヤーは出回らない fact3: 仮にあのナイロンコートワイヤーが出回るが言い難くないならばあのディープ・パープルは言い難い fact4: 「あの一項但し書きは吠えなくて惨たらしくない」ということは嘘だとしたらあのレセプションルームは退陣しない fact5: 「あのレセプションルームは退陣しないけど惨たらしい」ということは嘘だ fact6: あの未収金は出回らない fact7: もし「あのナイロンコートワイヤーは出回らない」ということは確かであるとしたらそれは惨たらしい fact8: 仮にあのレセプションルームは退陣しないとしたら「そのタスクは退陣しなくてそれは言い難くない」ということは事実と異なる ; $hypothesis$ = そのタスクは退陣しなくておまけに言い難くない ; $proof$ = 
fact7 & fact2 -> int1: あのナイロンコートワイヤーは惨たらしい; int1 & fact1 -> int2: 「「あの一項但し書きは吠えるということはなくて惨たらしいということはない」ということは成り立つ」ということは嘘である; int2 & fact4 -> int3: あのレセプションルームは退陣しない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にあのナイロンコートワイヤーは惨たらしいとすると「あの一項但し書きは吠えないし更にそれは惨たらしくない」ということは成り立つということはない
事実2: あのナイロンコートワイヤーは出回らない
事実3: 仮にあのナイロンコートワイヤーが出回るが言い難くないならばあのディープ・パープルは言い難い
事実4: 「あの一項但し書きは吠えなくて惨たらしくない」ということは嘘だとしたらあのレセプションルームは退陣しない
事実5: 「あのレセプションルームは退陣しないけど惨たらしい」ということは嘘だ
事実6: あの未収金は出回らない
事実7: もし「あのナイロンコートワイヤーは出回らない」ということは確かであるとしたらそれは惨たらしい
事実8: 仮にあのレセプションルームは退陣しないとしたら「そのタスクは退陣しなくてそれは言い難くない」ということは事実と異なる

仮説: そのタスクは退陣しなくておまけに言い難くない
1. 事実7と事実2から、推論1: "あのナイロンコートワイヤーは惨たらしい"が導かれる
2. 推論1と事実1から、推論2: "「「あの一項但し書きは吠えるということはなくて惨たらしいということはない」ということは成り立つ」ということは嘘である"が導かれる
3. 推論2と事実4から、推論3: "あのレセプションルームは退陣しない"が導かれる
4. 推論3と事実8から、仮説が否定される

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