「その償却額はしぶとい」ということは成り立つ
fact1: 「何かは取り組み易くないけれど出血し易い」ということは間違っていればしぶとくない fact2: 「「承認総会でなくてかつ公募公社債等運用投資信託である」ということは誤りな」ものはある fact3: もしも「「承認総会でない一方で公募公社債等運用投資信託である」ということは成り立たない」物があるとするとその償却額は冷め難くない fact4: もし何かは冷め難くないとすれば「取り組み易くないけれど出血し易い」ということは成り立たない
fact4 -> int1: その償却額は冷め難くないとすれば「それは取り組み易くないし出血し易い」ということは成り立つということはない; fact3 & fact2 -> int2: その償却額は冷め難くない; int1 & int2 -> int3: 「その償却額は取り組み易いということはないがしかし出血し易い」ということは成り立たない; fact1 -> int4: もし仮に「「その償却額は取り組み易くないけれど出血し易い」ということは成り立つ」ということは確かでないならそれはしぶとくない; int3 & int4 -> hypothesis;
$facts$ = fact1: 「何かは取り組み易くないけれど出血し易い」ということは間違っていればしぶとくない fact2: 「「承認総会でなくてかつ公募公社債等運用投資信託である」ということは誤りな」ものはある fact3: もしも「「承認総会でない一方で公募公社債等運用投資信託である」ということは成り立たない」物があるとするとその償却額は冷め難くない fact4: もし何かは冷め難くないとすれば「取り組み易くないけれど出血し易い」ということは成り立たない ; $hypothesis$ = 「その償却額はしぶとい」ということは成り立つ ; $proof$ = 
fact4 -> int1: その償却額は冷め難くないとすれば「それは取り組み易くないし出血し易い」ということは成り立つということはない; fact3 & fact2 -> int2: その償却額は冷め難くない; int1 & int2 -> int3: 「その償却額は取り組み易いということはないがしかし出血し易い」ということは成り立たない; fact1 -> int4: もし仮に「「その償却額は取り組み易くないけれど出血し易い」ということは成り立つ」ということは確かでないならそれはしぶとくない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「何かは取り組み易くないけれど出血し易い」ということは間違っていればしぶとくない
事実2: 「「承認総会でなくてかつ公募公社債等運用投資信託である」ということは誤りな」ものはある
事実3: もしも「「承認総会でない一方で公募公社債等運用投資信託である」ということは成り立たない」物があるとするとその償却額は冷め難くない
事実4: もし何かは冷め難くないとすれば「取り組み易くないけれど出血し易い」ということは成り立たない

仮説: 「その償却額はしぶとい」ということは成り立つ
1. 事実4から、推論1: "その償却額は冷め難くないとすれば「それは取り組み易くないし出血し易い」ということは成り立つということはない"が導かれる
2. 事実3と事実2から、推論2: "その償却額は冷め難くない"が導かれる
3. 推論1と推論2から、推論3: "「その償却額は取り組み易いということはないがしかし出血し易い」ということは成り立たない"が導かれる
4. 事実1から、推論4: "もし仮に「「その償却額は取り組み易くないけれど出血し易い」ということは成り立つ」ということは確かでないならそれはしぶとくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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