その腎症は人吉市内でない
fact1: 「「そのＡＬＴキーは下面であるがしかし財政構造改革でない」ということは本当だ」ということは嘘であるならそれは計量化しない fact2: 「そのＡＬＴキーは下面だ一方で財政構造改革でない」ということは事実でない fact3: もし仮にそのＡＬＴキーが計量化しないとするとその腎症は人吉市内で更に計量化する fact4: 「そのＡＬＴキーは人吉市内だ」ということは事実である
fact1 & fact2 -> int1: そのＡＬＴキーは計量化しない; int1 & fact3 -> int2: 「その腎症は人吉市内だし加えて計量化する」ということは間違いでない; int2 -> hypothesis;
fact1 & fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis;
$facts$ = fact1: 「「そのＡＬＴキーは下面であるがしかし財政構造改革でない」ということは本当だ」ということは嘘であるならそれは計量化しない fact2: 「そのＡＬＴキーは下面だ一方で財政構造改革でない」ということは事実でない fact3: もし仮にそのＡＬＴキーが計量化しないとするとその腎症は人吉市内で更に計量化する fact4: 「そのＡＬＴキーは人吉市内だ」ということは事実である ; $hypothesis$ = その腎症は人吉市内でない ; $proof$ = 
fact1 & fact2 -> int1: そのＡＬＴキーは計量化しない; int1 & fact3 -> int2: 「その腎症は人吉市内だし加えて計量化する」ということは間違いでない; int2 -> hypothesis; __DISPROVED__
事実1: 「「そのＡＬＴキーは下面であるがしかし財政構造改革でない」ということは本当だ」ということは嘘であるならそれは計量化しない
事実2: 「そのＡＬＴキーは下面だ一方で財政構造改革でない」ということは事実でない
事実3: もし仮にそのＡＬＴキーが計量化しないとするとその腎症は人吉市内で更に計量化する
事実4: 「そのＡＬＴキーは人吉市内だ」ということは事実である

仮説: その腎症は人吉市内でない
1. 事実1と事実2から、推論1: "そのＡＬＴキーは計量化しない"が導かれる
2. 推論1と事実3から、推論2: "「その腎症は人吉市内だし加えて計量化する」ということは間違いでない"が導かれる
3. 推論2から、仮説が否定される

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