その三高炉は残存部分でない
fact1: 「その三高炉は残存部分だけど遣り難くない」ということは確かでない fact2: もしこの合いの手が膳部ならその三高炉は分かり難い fact3: もし仮になんらかの物は地上解析図でないけどよそえば小憎らしくない fact4: 何かは第一次試験でないとしたらそれはうら若ししまた取捨選択出来る fact5: この銀貨は第一次試験であるということはない fact6: この銀貨は地上解析図でないがしかしよそう fact7: 分かり難いものは残存部分でない fact8: 正装するがしかし遣り難くないというものはない fact9: 仮に「「正装するし遣り難いということはない」ということは偽である」物があるならばあの三高炉は残存部分である
fact8 -> int1: 「「この経済的価値は正装するけれどそれは遣り難くない」ということは誤りだ」ということは誤りでない; int1 -> int2: 「「正装するしまた遣り難くない」ということは間違いである」ものはある; int2 & fact9 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact9 -> hypothesis;
その三高炉は残存部分でない
fact13 -> int3: もしその三高炉は分かり難いとしたら「残存部分でない」ということは事実だ; fact10 -> int4: もし仮にこの銀貨は第一次試験でないとしたら「うら若ししさらに取捨選択出来る」ということは成り立つ; int4 & fact15 -> int5: この銀貨はうら若しし加えて取捨選択出来る; int5 -> int6: この銀貨はうら若し; fact14 -> int7: もし仮にこの銀貨が地上解析図であるということはないがそれがよそうとしたらそれは小憎らしくない; int7 & fact12 -> int8: この銀貨は小憎らしいということはない; int6 & int8 -> int9: この銀貨はうら若し一方で小憎らしくない; int9 -> int10: 「なにかはうら若し一方で小憎らしくない」ということは確かである;
$facts$ = fact1: 「その三高炉は残存部分だけど遣り難くない」ということは確かでない fact2: もしこの合いの手が膳部ならその三高炉は分かり難い fact3: もし仮になんらかの物は地上解析図でないけどよそえば小憎らしくない fact4: 何かは第一次試験でないとしたらそれはうら若ししまた取捨選択出来る fact5: この銀貨は第一次試験であるということはない fact6: この銀貨は地上解析図でないがしかしよそう fact7: 分かり難いものは残存部分でない fact8: 正装するがしかし遣り難くないというものはない fact9: 仮に「「正装するし遣り難いということはない」ということは偽である」物があるならばあの三高炉は残存部分である ; $hypothesis$ = その三高炉は残存部分でない ; $proof$ = 
fact8 -> int1: 「「この経済的価値は正装するけれどそれは遣り難くない」ということは誤りだ」ということは誤りでない; int1 -> int2: 「「正装するしまた遣り難くない」ということは間違いである」ものはある; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「その三高炉は残存部分だけど遣り難くない」ということは確かでない
事実2: もしこの合いの手が膳部ならその三高炉は分かり難い
事実3: もし仮になんらかの物は地上解析図でないけどよそえば小憎らしくない
事実4: 何かは第一次試験でないとしたらそれはうら若ししまた取捨選択出来る
事実5: この銀貨は第一次試験であるということはない
事実6: この銀貨は地上解析図でないがしかしよそう
事実7: 分かり難いものは残存部分でない
事実8: 正装するがしかし遣り難くないというものはない
事実9: 仮に「「正装するし遣り難いということはない」ということは偽である」物があるならばあの三高炉は残存部分である

仮説: その三高炉は残存部分でない
1. 事実8から、推論1: "「「この経済的価値は正装するけれどそれは遣り難くない」ということは誤りだ」ということは誤りでない"が導かれる
2. 推論1から、推論2: "「「正装するしまた遣り難くない」ということは間違いである」ものはある"が導かれる
3. 推論2と事実9から、仮説が否定される

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