この三字は兵役である
fact1: もしある物が引き摺り込むとすれば兵役である fact2: もし仮になにがしかの物が兵役でないかそれは継続し難いかもしくはどちらもであるとしたらそれは兵役でない fact3: もし仮に鋭くないものが素人っぽいとすると兵役でない fact4: 継続し難くないものは引き摺り込むしかつ込み上げる fact5: もし仮に「その法的定義は引き摺り込む」ということは正しいとしたらその銅鑼は込み上げる fact6: 「その法的定義は供託する一方で無くない」ということは誤っている fact7: もし「その法的定義は供託するけどそれは無くない」ということは嘘であるならばこの三字は継続し難いということはない
fact7 & fact6 -> int1: この三字は継続し難くない; fact4 -> int2: 「この三字は継続し難くない」ということは成り立つとしたら引き摺り込むしそれは込み上げる; int1 & int2 -> int3: この三字は引き摺り込むし込み上げる; int3 -> int4: この三字は引き摺り込む; fact1 -> int5: この三字が引き摺り込むとすると兵役だ; int4 & int5 -> hypothesis;
この三字は兵役でない
fact8 -> int6: 仮にこの三字が兵役でないかまたはそれは継続し難いかまたは両方ともであるとすると兵役でない;
$facts$ = fact1: もしある物が引き摺り込むとすれば兵役である fact2: もし仮になにがしかの物が兵役でないかそれは継続し難いかもしくはどちらもであるとしたらそれは兵役でない fact3: もし仮に鋭くないものが素人っぽいとすると兵役でない fact4: 継続し難くないものは引き摺り込むしかつ込み上げる fact5: もし仮に「その法的定義は引き摺り込む」ということは正しいとしたらその銅鑼は込み上げる fact6: 「その法的定義は供託する一方で無くない」ということは誤っている fact7: もし「その法的定義は供託するけどそれは無くない」ということは嘘であるならばこの三字は継続し難いということはない ; $hypothesis$ = この三字は兵役である ; $proof$ = 
fact7 & fact6 -> int1: この三字は継続し難くない; fact4 -> int2: 「この三字は継続し難くない」ということは成り立つとしたら引き摺り込むしそれは込み上げる; int1 & int2 -> int3: この三字は引き摺り込むし込み上げる; int3 -> int4: この三字は引き摺り込む; fact1 -> int5: この三字が引き摺り込むとすると兵役だ; int4 & int5 -> hypothesis; __PROVED__
事実1: もしある物が引き摺り込むとすれば兵役である
事実2: もし仮になにがしかの物が兵役でないかそれは継続し難いかもしくはどちらもであるとしたらそれは兵役でない
事実3: もし仮に鋭くないものが素人っぽいとすると兵役でない
事実4: 継続し難くないものは引き摺り込むしかつ込み上げる
事実5: もし仮に「その法的定義は引き摺り込む」ということは正しいとしたらその銅鑼は込み上げる
事実6: 「その法的定義は供託する一方で無くない」ということは誤っている
事実7: もし「その法的定義は供託するけどそれは無くない」ということは嘘であるならばこの三字は継続し難いということはない

仮説: この三字は兵役である
1. 事実7と事実6から、推論1: "この三字は継続し難くない"が導かれる
2. 事実4から、推論2: "「この三字は継続し難くない」ということは成り立つとしたら引き摺り込むしそれは込み上げる"が導かれる
3. 推論1と推論2から、推論3: "この三字は引き摺り込むし込み上げる"が導かれる
4. 推論3から、推論4: "この三字は引き摺り込む"が導かれる
5. 事実1から、推論5: "この三字が引き摺り込むとすると兵役だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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