なんらかのものは節約出来ない
fact1: もし仮に「このＡＩＦＦファイルは注意深くないがしかし予感する」ということは成り立たないならそれは厳格化である fact2: 「このＡＩＦＦファイルは注意深くないが予感する」ということは間違いである fact3: 「このＡＩＦＦファイルは注意深いしかつ予感する」ということは成り立つということはない fact4: データ保護が厳格化であるならあの征長はスナイパーでない fact5: 「あの征長はスナイパーでない一方でそれは提出す」ということは嘘だ fact6: もしもこのＡＩＦＦファイルが節約出来るとするとデータ保護である fact7: 仮に「あの征長はスナイパーでないけど提出す」ということは誤りであるとするとそれはスナイパーである fact8: 「あの法線ベクトルは予感しない」ということは本当だとすれば「厳格化でなくてスナイパーでない」ということは事実と異なる
void -> assump1: 以下のように仮定する。このＡＩＦＦファイルは節約出来る; fact6 & assump1 -> int1: 「このＡＩＦＦファイルはデータ保護である」ということは事実と異ならない; fact2 & fact1 -> int2: このＡＩＦＦファイルは厳格化だ; int1 & int2 -> int3: このＡＩＦＦファイルはデータ保護であるしそれにそれは厳格化である; int3 -> int4: なんらかのものがデータ保護だしおまけにそれは厳格化である; int4 & fact4 -> int5: 「あの征長はスナイパーでない」ということは成り立つ; fact7 & fact5 -> int6: あの征長はスナイパーだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＡＩＦＦファイルは節約出来るということはない; int8 -> hypothesis;
あの法線ベクトルは注意深い
$facts$ = fact1: もし仮に「このＡＩＦＦファイルは注意深くないがしかし予感する」ということは成り立たないならそれは厳格化である fact2: 「このＡＩＦＦファイルは注意深くないが予感する」ということは間違いである fact3: 「このＡＩＦＦファイルは注意深いしかつ予感する」ということは成り立つということはない fact4: データ保護が厳格化であるならあの征長はスナイパーでない fact5: 「あの征長はスナイパーでない一方でそれは提出す」ということは嘘だ fact6: もしもこのＡＩＦＦファイルが節約出来るとするとデータ保護である fact7: 仮に「あの征長はスナイパーでないけど提出す」ということは誤りであるとするとそれはスナイパーである fact8: 「あの法線ベクトルは予感しない」ということは本当だとすれば「厳格化でなくてスナイパーでない」ということは事実と異なる ; $hypothesis$ = なんらかのものは節約出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＡＩＦＦファイルは節約出来る; fact6 & assump1 -> int1: 「このＡＩＦＦファイルはデータ保護である」ということは事実と異ならない; fact2 & fact1 -> int2: このＡＩＦＦファイルは厳格化だ; int1 & int2 -> int3: このＡＩＦＦファイルはデータ保護であるしそれにそれは厳格化である; int3 -> int4: なんらかのものがデータ保護だしおまけにそれは厳格化である; int4 & fact4 -> int5: 「あの征長はスナイパーでない」ということは成り立つ; fact7 & fact5 -> int6: あの征長はスナイパーだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＡＩＦＦファイルは節約出来るということはない; int8 -> hypothesis; __PROVED__
事実1: もし仮に「このＡＩＦＦファイルは注意深くないがしかし予感する」ということは成り立たないならそれは厳格化である
事実2: 「このＡＩＦＦファイルは注意深くないが予感する」ということは間違いである
事実3: 「このＡＩＦＦファイルは注意深いしかつ予感する」ということは成り立つということはない
事実4: データ保護が厳格化であるならあの征長はスナイパーでない
事実5: 「あの征長はスナイパーでない一方でそれは提出す」ということは嘘だ
事実6: もしもこのＡＩＦＦファイルが節約出来るとするとデータ保護である
事実7: 仮に「あの征長はスナイパーでないけど提出す」ということは誤りであるとするとそれはスナイパーである
事実8: 「あの法線ベクトルは予感しない」ということは本当だとすれば「厳格化でなくてスナイパーでない」ということは事実と異なる

仮説: なんらかのものは節約出来ない
1. 仮定1: 以下のように仮定する。このＡＩＦＦファイルは節約出来る
2. 事実6と仮定1から、推論1: "「このＡＩＦＦファイルはデータ保護である」ということは事実と異ならない"が導かれる
3. 事実2と事実1から、推論2: "このＡＩＦＦファイルは厳格化だ"が導かれる
4. 推論1と推論2から、推論3: "このＡＩＦＦファイルはデータ保護であるしそれにそれは厳格化である"が導かれる
5. 推論3から、推論4: "なんらかのものがデータ保護だしおまけにそれは厳格化である"が導かれる
6. 推論4と事実4から、推論5: "「あの征長はスナイパーでない」ということは成り立つ"が導かれる
7. 事実7と事実5から、推論6: "あの征長はスナイパーだ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このＡＩＦＦファイルは節約出来るということはない"が導かれる
10. 推論8から、仮説が導かれる

よって、仮説が証明されました。