この認定反対債権額は先鋭化しない
fact1: この認定反対債権額は一捻りでない fact2: もし仮に何らかの物は指名手配するとすると「それは先鋭化するが惜しみ無くない」ということは真実でない fact3: この認定反対債権額は先鋭化するけれど惜しみ無くないとしたらそれは絵詞だ fact4: あのＦＦＴが痛いとしたらこの認定反対債権額は絵詞だ fact5: もしも絵詞は一捻りでないとすると「それは先鋭化する」ということは成り立つ fact6: あのＲＶＦは指名手配するしかつ惜しみ無い fact7: 「もしこの認定反対債権額が痛いとしたらあのＦＦＴは先鋭化する」ということは確かである fact8: もしあのＲＶＦは惜しみ無いとすれば「あのＦＦＴは痛い」ということは真実である
fact6 -> int1: あのＲＶＦは惜しみ無い; int1 & fact8 -> int2: あのＦＦＴは痛い; int2 & fact4 -> int3: この認定反対債権額は絵詞である; int3 & fact1 -> int4: 「この認定反対債権額は絵詞だけど一捻りでない」ということは成り立つ; fact5 -> int5: もしもこの認定反対債権額が絵詞であるがそれは一捻りでないとしたらそれは先鋭化する; int4 & int5 -> hypothesis;
この認定反対債権額は先鋭化しない
fact9 -> int6: もしもあのＲＶＦは指名手配するとすると「それは先鋭化するけど惜しみ無くない」ということは誤っている;
$facts$ = fact1: この認定反対債権額は一捻りでない fact2: もし仮に何らかの物は指名手配するとすると「それは先鋭化するが惜しみ無くない」ということは真実でない fact3: この認定反対債権額は先鋭化するけれど惜しみ無くないとしたらそれは絵詞だ fact4: あのＦＦＴが痛いとしたらこの認定反対債権額は絵詞だ fact5: もしも絵詞は一捻りでないとすると「それは先鋭化する」ということは成り立つ fact6: あのＲＶＦは指名手配するしかつ惜しみ無い fact7: 「もしこの認定反対債権額が痛いとしたらあのＦＦＴは先鋭化する」ということは確かである fact8: もしあのＲＶＦは惜しみ無いとすれば「あのＦＦＴは痛い」ということは真実である ; $hypothesis$ = この認定反対債権額は先鋭化しない ; $proof$ = 
fact6 -> int1: あのＲＶＦは惜しみ無い; int1 & fact8 -> int2: あのＦＦＴは痛い; int2 & fact4 -> int3: この認定反対債権額は絵詞である; int3 & fact1 -> int4: 「この認定反対債権額は絵詞だけど一捻りでない」ということは成り立つ; fact5 -> int5: もしもこの認定反対債権額が絵詞であるがそれは一捻りでないとしたらそれは先鋭化する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この認定反対債権額は一捻りでない
事実2: もし仮に何らかの物は指名手配するとすると「それは先鋭化するが惜しみ無くない」ということは真実でない
事実3: この認定反対債権額は先鋭化するけれど惜しみ無くないとしたらそれは絵詞だ
事実4: あのＦＦＴが痛いとしたらこの認定反対債権額は絵詞だ
事実5: もしも絵詞は一捻りでないとすると「それは先鋭化する」ということは成り立つ
事実6: あのＲＶＦは指名手配するしかつ惜しみ無い
事実7: 「もしこの認定反対債権額が痛いとしたらあのＦＦＴは先鋭化する」ということは確かである
事実8: もしあのＲＶＦは惜しみ無いとすれば「あのＦＦＴは痛い」ということは真実である

仮説: この認定反対債権額は先鋭化しない
1. 事実6から、推論1: "あのＲＶＦは惜しみ無い"が導かれる
2. 推論1と事実8から、推論2: "あのＦＦＴは痛い"が導かれる
3. 推論2と事実4から、推論3: "この認定反対債権額は絵詞である"が導かれる
4. 推論3と事実1から、推論4: "「この認定反対債権額は絵詞だけど一捻りでない」ということは成り立つ"が導かれる
5. 事実5から、推論5: "もしもこの認定反対債権額が絵詞であるがそれは一捻りでないとしたらそれは先鋭化する"が導かれる
6. 推論4と推論5から、仮説が否定される

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