そのＺ氏は成り続けるしそれは湯元だ
fact1: もしもその支払い不能テストはハーディーでないとしたら「そのＺ氏は成り続けるし湯元である」ということは偽だ fact2: 仮になにがしかのものは成り続けるけどハーディーでないとすれば「そのＺ氏は湯元でない」ということは真実である fact3: 「減すししかも蒸し返さない」物はある fact4: もし仮になんらかの物は入り難いとしたら「蒸し返すがハーディーでない」ということは誤りだ fact5: 仮にとあるものが減さないならば成り続けるし加えて湯元だ fact6: もしも「その支払い不能テストはＣＯＡでなくて入り難くない」ということは嘘であるとすればそのＺ氏は入り難い fact7: 「減すけど蒸し返さない」ものがあるとすればその支払い不能テストはハーディーでない
fact3 & fact7 -> int1: その支払い不能テストはハーディーでない; int1 & fact1 -> hypothesis;
そのＺ氏は成り続けるしそれに湯元である
fact9 -> int2: 仮にそのＺ氏が減さないとすればそれは成り続けるし加えてそれは湯元だ; fact8 -> int3: もしそのＺ氏は入り難いとすれば「蒸し返すしかつハーディーでない」ということは嘘である;
$facts$ = fact1: もしもその支払い不能テストはハーディーでないとしたら「そのＺ氏は成り続けるし湯元である」ということは偽だ fact2: 仮になにがしかのものは成り続けるけどハーディーでないとすれば「そのＺ氏は湯元でない」ということは真実である fact3: 「減すししかも蒸し返さない」物はある fact4: もし仮になんらかの物は入り難いとしたら「蒸し返すがハーディーでない」ということは誤りだ fact5: 仮にとあるものが減さないならば成り続けるし加えて湯元だ fact6: もしも「その支払い不能テストはＣＯＡでなくて入り難くない」ということは嘘であるとすればそのＺ氏は入り難い fact7: 「減すけど蒸し返さない」ものがあるとすればその支払い不能テストはハーディーでない ; $hypothesis$ = そのＺ氏は成り続けるしそれは湯元だ ; $proof$ = 
fact3 & fact7 -> int1: その支払い不能テストはハーディーでない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその支払い不能テストはハーディーでないとしたら「そのＺ氏は成り続けるし湯元である」ということは偽だ
事実2: 仮になにがしかのものは成り続けるけどハーディーでないとすれば「そのＺ氏は湯元でない」ということは真実である
事実3: 「減すししかも蒸し返さない」物はある
事実4: もし仮になんらかの物は入り難いとしたら「蒸し返すがハーディーでない」ということは誤りだ
事実5: 仮にとあるものが減さないならば成り続けるし加えて湯元だ
事実6: もしも「その支払い不能テストはＣＯＡでなくて入り難くない」ということは嘘であるとすればそのＺ氏は入り難い
事実7: 「減すけど蒸し返さない」ものがあるとすればその支払い不能テストはハーディーでない

仮説: そのＺ氏は成り続けるしそれは湯元だ
1. 事実3と事実7から、推論1: "その支払い不能テストはハーディーでない"が導かれる
2. 推論1と事実1から、仮説が否定される

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