あの語数は租税優遇措置である
fact1: あの明示は神経・筋疾患でない fact2: もしその精度はＣＧＩでないなら「あの明示はＣＧＩであるということはない」ということは事実である fact3: もしもとあるものが下付き文字だとするとそれは租税優遇措置である fact4: もしもあの明示は神経・筋疾患だということはないならば「それは検分するし更にＣＧＩでない」ということは事実と異なる fact5: 「下付き文字は厳し過ぎる」ということは成り立つ fact6: 仮に何かは検分しないとしたらそれは厳し過ぎない fact7: もし「なにかは検分するけれどそれはＣＧＩでない」ということは間違っていればそれは厳し過ぎない fact8: もしあの明示がＣＧＩでないならばあの語数は下付き文字だしさらに厳し過ぎる fact9: もしも「あの語数は租税優遇措置である」ということは成り立つとするとあの明示は下付き文字だ
void -> assump1: 以下のように仮定する。「あの語数は租税優遇措置である」ということは事実だ; fact9 & assump1 -> int1: あの明示は下付き文字だ; fact5 -> int2: もしもあの明示は下付き文字であるならそれは厳し過ぎる; int1 & int2 -> int3: あの明示は厳し過ぎる; fact7 -> int4: もし「あの明示は検分するがしかしそれはＣＧＩでない」ということは間違いなら厳し過ぎない; fact1 & fact4 -> int5: 「あの明示は検分するがＣＧＩでない」ということは成り立たない; int4 & int5 -> int6: あの明示は厳し過ぎるということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの語数は租税優遇措置である
fact11 -> int8: 「あの語数は下付き文字だ」ということは間違っているということはないとすると租税優遇措置だ;
$facts$ = fact1: あの明示は神経・筋疾患でない fact2: もしその精度はＣＧＩでないなら「あの明示はＣＧＩであるということはない」ということは事実である fact3: もしもとあるものが下付き文字だとするとそれは租税優遇措置である fact4: もしもあの明示は神経・筋疾患だということはないならば「それは検分するし更にＣＧＩでない」ということは事実と異なる fact5: 「下付き文字は厳し過ぎる」ということは成り立つ fact6: 仮に何かは検分しないとしたらそれは厳し過ぎない fact7: もし「なにかは検分するけれどそれはＣＧＩでない」ということは間違っていればそれは厳し過ぎない fact8: もしあの明示がＣＧＩでないならばあの語数は下付き文字だしさらに厳し過ぎる fact9: もしも「あの語数は租税優遇措置である」ということは成り立つとするとあの明示は下付き文字だ ; $hypothesis$ = あの語数は租税優遇措置である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの語数は租税優遇措置である」ということは事実だ; fact9 & assump1 -> int1: あの明示は下付き文字だ; fact5 -> int2: もしもあの明示は下付き文字であるならそれは厳し過ぎる; int1 & int2 -> int3: あの明示は厳し過ぎる; fact7 -> int4: もし「あの明示は検分するがしかしそれはＣＧＩでない」ということは間違いなら厳し過ぎない; fact1 & fact4 -> int5: 「あの明示は検分するがＣＧＩでない」ということは成り立たない; int4 & int5 -> int6: あの明示は厳し過ぎるということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: あの明示は神経・筋疾患でない
事実2: もしその精度はＣＧＩでないなら「あの明示はＣＧＩであるということはない」ということは事実である
事実3: もしもとあるものが下付き文字だとするとそれは租税優遇措置である
事実4: もしもあの明示は神経・筋疾患だということはないならば「それは検分するし更にＣＧＩでない」ということは事実と異なる
事実5: 「下付き文字は厳し過ぎる」ということは成り立つ
事実6: 仮に何かは検分しないとしたらそれは厳し過ぎない
事実7: もし「なにかは検分するけれどそれはＣＧＩでない」ということは間違っていればそれは厳し過ぎない
事実8: もしあの明示がＣＧＩでないならばあの語数は下付き文字だしさらに厳し過ぎる
事実9: もしも「あの語数は租税優遇措置である」ということは成り立つとするとあの明示は下付き文字だ

仮説: あの語数は租税優遇措置である
1. 仮定1: 以下のように仮定する。「あの語数は租税優遇措置である」ということは事実だ
2. 事実9と仮定1から、推論1: "あの明示は下付き文字だ"が導かれる
3. 事実5から、推論2: "もしもあの明示は下付き文字であるならそれは厳し過ぎる"が導かれる
4. 推論1と推論2から、推論3: "あの明示は厳し過ぎる"が導かれる
5. 事実7から、推論4: "もし「あの明示は検分するがしかしそれはＣＧＩでない」ということは間違いなら厳し過ぎない"が導かれる
6. 事実1と事実4から、推論5: "「あの明示は検分するがＣＧＩでない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "あの明示は厳し過ぎるということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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