その八千メートル級はブラックポットでない
fact1: もし「ある物は調達システムだということはないし地下深くない」ということは誤っているとするとブラックポットだ fact2: もし仮に「なんらかのものは地下深くなくて難詰しない」ということは事実と異なるとすれば調達システムだ fact3: もし仮に「「あのＰＣＡは悲しないししかもそれは難詰するということはない」ということは成り立つ」ということは偽であるとすると地下深い fact4: もしもその八千メートル級は難詰するということはないなら「この絶好は調達システムだ一方でブラックポットでない」ということは誤りだ fact5: この絶好が難詰するとすればそれは調達システムだ fact6: 「その八千メートル級はブラックポットであるけど悲しない」ということは間違っている fact7: 「あのＰＣＡは悲しない」ということは真実だ fact8: もしこの絶好が調達システムであるならばその八千メートル級はブラックポットである fact9: 「その八千メートル級は地下深い」ということは確かであるとするとこの絶好はブラックポットである fact10: もし仮にあのＰＣＡは悲しないならば「この絶好は地下深くなくてそれは難詰しない」ということは誤っている fact11: あのＰＣＡは調達システムだ
fact10 & fact7 -> int1: 「この絶好は地下深くないしその上難詰するということはない」ということは嘘だ; fact2 -> int2: もし仮に「この絶好は地下深いということはないしそれは難詰しない」ということは成り立たないとしたらそれは調達システムである; int1 & int2 -> int3: この絶好は調達システムである; int3 & fact8 -> hypothesis;
fact10 & fact7 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); fact2 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact8 -> hypothesis;
$facts$ = fact1: もし「ある物は調達システムだということはないし地下深くない」ということは誤っているとするとブラックポットだ fact2: もし仮に「なんらかのものは地下深くなくて難詰しない」ということは事実と異なるとすれば調達システムだ fact3: もし仮に「「あのＰＣＡは悲しないししかもそれは難詰するということはない」ということは成り立つ」ということは偽であるとすると地下深い fact4: もしもその八千メートル級は難詰するということはないなら「この絶好は調達システムだ一方でブラックポットでない」ということは誤りだ fact5: この絶好が難詰するとすればそれは調達システムだ fact6: 「その八千メートル級はブラックポットであるけど悲しない」ということは間違っている fact7: 「あのＰＣＡは悲しない」ということは真実だ fact8: もしこの絶好が調達システムであるならばその八千メートル級はブラックポットである fact9: 「その八千メートル級は地下深い」ということは確かであるとするとこの絶好はブラックポットである fact10: もし仮にあのＰＣＡは悲しないならば「この絶好は地下深くなくてそれは難詰しない」ということは誤っている fact11: あのＰＣＡは調達システムだ ; $hypothesis$ = その八千メートル級はブラックポットでない ; $proof$ = 
fact10 & fact7 -> int1: 「この絶好は地下深くないしその上難詰するということはない」ということは嘘だ; fact2 -> int2: もし仮に「この絶好は地下深いということはないしそれは難詰しない」ということは成り立たないとしたらそれは調達システムである; int1 & int2 -> int3: この絶好は調達システムである; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もし「ある物は調達システムだということはないし地下深くない」ということは誤っているとするとブラックポットだ
事実2: もし仮に「なんらかのものは地下深くなくて難詰しない」ということは事実と異なるとすれば調達システムだ
事実3: もし仮に「「あのＰＣＡは悲しないししかもそれは難詰するということはない」ということは成り立つ」ということは偽であるとすると地下深い
事実4: もしもその八千メートル級は難詰するということはないなら「この絶好は調達システムだ一方でブラックポットでない」ということは誤りだ
事実5: この絶好が難詰するとすればそれは調達システムだ
事実6: 「その八千メートル級はブラックポットであるけど悲しない」ということは間違っている
事実7: 「あのＰＣＡは悲しない」ということは真実だ
事実8: もしこの絶好が調達システムであるならばその八千メートル級はブラックポットである
事実9: 「その八千メートル級は地下深い」ということは確かであるとするとこの絶好はブラックポットである
事実10: もし仮にあのＰＣＡは悲しないならば「この絶好は地下深くなくてそれは難詰しない」ということは誤っている
事実11: あのＰＣＡは調達システムだ

仮説: その八千メートル級はブラックポットでない
1. 事実10と事実7から、推論1: "「この絶好は地下深くないしその上難詰するということはない」ということは嘘だ"が導かれる
2. 事実2から、推論2: "もし仮に「この絶好は地下深いということはないしそれは難詰しない」ということは成り立たないとしたらそれは調達システムである"が導かれる
3. 推論1と推論2から、推論3: "この絶好は調達システムである"が導かれる
4. 推論3と事実8から、仮説が否定される

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