「「もし仮に保持増進でないなら「達成するけれど黒くない」ということは真実でない」ものはある」ということは間違っている
fact1: 「保持増進でないならば「「達成するし加えて黒い」ということは真実だ」ということは成り立つということはない」物はある fact2: 仮にこの当該金融資産は保持増進でないなら「それは達成するしおまけに黒くない」ということは間違いである fact3: 「仮に保持増進なら「達成するし黒くない」ということは間違っている」ものはある fact4: 仮にこの当該金融資産は保持増進であるとすると「達成するしさらにそれは黒くない」ということは間違いだ
fact2 -> hypothesis;
$facts$ = fact1: 「保持増進でないならば「「達成するし加えて黒い」ということは真実だ」ということは成り立つということはない」物はある fact2: 仮にこの当該金融資産は保持増進でないなら「それは達成するしおまけに黒くない」ということは間違いである fact3: 「仮に保持増進なら「達成するし黒くない」ということは間違っている」ものはある fact4: 仮にこの当該金融資産は保持増進であるとすると「達成するしさらにそれは黒くない」ということは間違いだ ; $hypothesis$ = 「「もし仮に保持増進でないなら「達成するけれど黒くない」ということは真実でない」ものはある」ということは間違っている ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「保持増進でないならば「「達成するし加えて黒い」ということは真実だ」ということは成り立つということはない」物はある
事実2: 仮にこの当該金融資産は保持増進でないなら「それは達成するしおまけに黒くない」ということは間違いである
事実3: 「仮に保持増進なら「達成するし黒くない」ということは間違っている」ものはある
事実4: 仮にこの当該金融資産は保持増進であるとすると「達成するしさらにそれは黒くない」ということは間違いだ

仮説: 「「もし仮に保持増進でないなら「達成するけれど黒くない」ということは真実でない」ものはある」ということは間違っている
1. 事実2から、仮説が否定される

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