もし仮にその技術普及が見られ易いとするとそのビデオ編集はえぐみである
fact1: 「なにがしかのものは作り難くてさらに中和する」ということは確かである fact2: 見られ易いものは特殊学級であるということはない fact3: なんらかのものは不沈である fact4: 仮に不沈が特殊学級でないならばそのビデオ編集はえぐみだ fact5: 「「からかい半分でないかあるいは憎しか両方ともだ」ということは本当でない」物はある fact6: とあるものはバザーであるとすると「それは水っぽくないしそれはど偉くない」ということは偽だ fact7: 見られ易い物は不沈だけれど特殊学級でない fact8: もし「何らかのものは水っぽくないし更にそれはど偉くない」ということは真実でないならそれはえぐみでない
fact7 -> int1: 「もし仮にその技術普及が見られ易いとしたらその技術普及は不沈だがしかしそれは特殊学級でない」ということは事実である; void -> assump1: 以下のように仮定する。その技術普及は見られ易い; int1 & assump1 -> int2: その技術普及は不沈だけれどそれは特殊学級でない; int2 -> int3: 「不沈であるけど特殊学級でない」物はある; int3 & fact4 -> int4: そのビデオ編集はえぐみである; [assump1] & int4 -> hypothesis;
その綾は特殊学級だ
fact10 -> int5: もし仮に「その綾は水っぽくないしその上ど偉くない」ということは成り立たないならえぐみでない; fact9 -> int6: 「仮に「その綾はバザーである」ということは成り立つとしたら「「その綾は水っぽくないし加えてど偉くない」ということは嘘である」ということは確かだ」ということは確かである;
$facts$ = fact1: 「なにがしかのものは作り難くてさらに中和する」ということは確かである fact2: 見られ易いものは特殊学級であるということはない fact3: なんらかのものは不沈である fact4: 仮に不沈が特殊学級でないならばそのビデオ編集はえぐみだ fact5: 「「からかい半分でないかあるいは憎しか両方ともだ」ということは本当でない」物はある fact6: とあるものはバザーであるとすると「それは水っぽくないしそれはど偉くない」ということは偽だ fact7: 見られ易い物は不沈だけれど特殊学級でない fact8: もし「何らかのものは水っぽくないし更にそれはど偉くない」ということは真実でないならそれはえぐみでない ; $hypothesis$ = もし仮にその技術普及が見られ易いとするとそのビデオ編集はえぐみである ; $proof$ = 
fact7 -> int1: 「もし仮にその技術普及が見られ易いとしたらその技術普及は不沈だがしかしそれは特殊学級でない」ということは事実である; void -> assump1: 以下のように仮定する。その技術普及は見られ易い; int1 & assump1 -> int2: その技術普及は不沈だけれどそれは特殊学級でない; int2 -> int3: 「不沈であるけど特殊学級でない」物はある; int3 & fact4 -> int4: そのビデオ編集はえぐみである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「なにがしかのものは作り難くてさらに中和する」ということは確かである
事実2: 見られ易いものは特殊学級であるということはない
事実3: なんらかのものは不沈である
事実4: 仮に不沈が特殊学級でないならばそのビデオ編集はえぐみだ
事実5: 「「からかい半分でないかあるいは憎しか両方ともだ」ということは本当でない」物はある
事実6: とあるものはバザーであるとすると「それは水っぽくないしそれはど偉くない」ということは偽だ
事実7: 見られ易い物は不沈だけれど特殊学級でない
事実8: もし「何らかのものは水っぽくないし更にそれはど偉くない」ということは真実でないならそれはえぐみでない

仮説: もし仮にその技術普及が見られ易いとするとそのビデオ編集はえぐみである
1. 事実7から、推論1: "「もし仮にその技術普及が見られ易いとしたらその技術普及は不沈だがしかしそれは特殊学級でない」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。その技術普及は見られ易い
3. 推論1と仮定1から、推論2: "その技術普及は不沈だけれどそれは特殊学級でない"が導かれる
4. 推論2から、推論3: "「不沈であるけど特殊学級でない」物はある"が導かれる
5. 推論3と事実4から、推論4: "そのビデオ編集はえぐみである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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