「あの均等待遇は難いかそれは御若い」ということは成り立たない
fact1: この売却損は釣り合うしかつ強化す fact2: もしもこの売却損は強化すとすれば「あの均等待遇は難い」ということは真実である
fact1 -> int1: 「この売却損は強化す」ということは本当である; int1 & fact2 -> int2: あの均等待遇は難い; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> hypothesis;
$facts$ = fact1: この売却損は釣り合うしかつ強化す fact2: もしもこの売却損は強化すとすれば「あの均等待遇は難い」ということは真実である ; $hypothesis$ = 「あの均等待遇は難いかそれは御若い」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「この売却損は強化す」ということは本当である; int1 & fact2 -> int2: あの均等待遇は難い; int2 -> hypothesis; __DISPROVED__
事実1: この売却損は釣り合うしかつ強化す
事実2: もしもこの売却損は強化すとすれば「あの均等待遇は難い」ということは真実である

仮説: 「あの均等待遇は難いかそれは御若い」ということは成り立たない
1. 事実1から、推論1: "「この売却損は強化す」ということは本当である"が導かれる
2. 推論1と事実2から、推論2: "あの均等待遇は難い"が導かれる
3. 推論2から、仮説が否定される

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