仮にその二代将軍が誤導しないとすればこの加速度別は侵害しない
fact1: 仮に「この異状死は蝋石であるということはない一方で台湾全土である」ということは事実と異なればその二代将軍は誤導する fact2: この異状死はハビタブルゾーンでない fact3: 仮に何かは台湾全土でないならばそれは侵害するし加えてひ弱い fact4: 何らかのものが侵害するとしたら蝋石だ fact5: もし仮にこの加速度別は侵害するとしたら「そのセーフガードは行人でない一方でハビタブルゾーンである」ということは確かであるということはない fact6: もしもそのセーフガードはひ弱いならば「この異状死は蝋石でない一方で台湾全土だ」ということは真実でない fact7: もし仮に「とあるものは行人であるということはないがしかしハビタブルゾーンである」ということは誤っているとすれば「それはひ弱い」ということは本当である fact8: そのセーフガードはハビタブルゾーンでないならそれはひ弱い
void -> assump1: 以下のように仮定する。この加速度別は侵害する; fact5 & assump1 -> int1: 「そのセーフガードは行人でないけどハビタブルゾーンである」ということは間違っている; fact7 -> int2: もし「そのセーフガードは行人でないけどハビタブルゾーンだ」ということは成り立つということはないならひ弱い; int1 & int2 -> int3: そのセーフガードはひ弱い; int3 & fact6 -> int4: 「この異状死は蝋石でないけど台湾全土である」ということは誤りだ; int4 & fact1 -> int5: その二代将軍は誤導する; void -> assump2: 以下のように仮定する。その二代将軍は誤導しない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: この加速度別は侵害しない; [assump2] & int7 -> hypothesis;
「あの治安判事は蝋石である」ということは成り立つ
fact10 -> int8: あの治安判事が侵害するならそれは蝋石だ; fact9 -> int9: もしもあの治安判事は台湾全土でないとしたら侵害するし更にひ弱い;
$facts$ = fact1: 仮に「この異状死は蝋石であるということはない一方で台湾全土である」ということは事実と異なればその二代将軍は誤導する fact2: この異状死はハビタブルゾーンでない fact3: 仮に何かは台湾全土でないならばそれは侵害するし加えてひ弱い fact4: 何らかのものが侵害するとしたら蝋石だ fact5: もし仮にこの加速度別は侵害するとしたら「そのセーフガードは行人でない一方でハビタブルゾーンである」ということは確かであるということはない fact6: もしもそのセーフガードはひ弱いならば「この異状死は蝋石でない一方で台湾全土だ」ということは真実でない fact7: もし仮に「とあるものは行人であるということはないがしかしハビタブルゾーンである」ということは誤っているとすれば「それはひ弱い」ということは本当である fact8: そのセーフガードはハビタブルゾーンでないならそれはひ弱い ; $hypothesis$ = 仮にその二代将軍が誤導しないとすればこの加速度別は侵害しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この加速度別は侵害する; fact5 & assump1 -> int1: 「そのセーフガードは行人でないけどハビタブルゾーンである」ということは間違っている; fact7 -> int2: もし「そのセーフガードは行人でないけどハビタブルゾーンだ」ということは成り立つということはないならひ弱い; int1 & int2 -> int3: そのセーフガードはひ弱い; int3 & fact6 -> int4: 「この異状死は蝋石でないけど台湾全土である」ということは誤りだ; int4 & fact1 -> int5: その二代将軍は誤導する; void -> assump2: 以下のように仮定する。その二代将軍は誤導しない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: この加速度別は侵害しない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 仮に「この異状死は蝋石であるということはない一方で台湾全土である」ということは事実と異なればその二代将軍は誤導する
事実2: この異状死はハビタブルゾーンでない
事実3: 仮に何かは台湾全土でないならばそれは侵害するし加えてひ弱い
事実4: 何らかのものが侵害するとしたら蝋石だ
事実5: もし仮にこの加速度別は侵害するとしたら「そのセーフガードは行人でない一方でハビタブルゾーンである」ということは確かであるということはない
事実6: もしもそのセーフガードはひ弱いならば「この異状死は蝋石でない一方で台湾全土だ」ということは真実でない
事実7: もし仮に「とあるものは行人であるということはないがしかしハビタブルゾーンである」ということは誤っているとすれば「それはひ弱い」ということは本当である
事実8: そのセーフガードはハビタブルゾーンでないならそれはひ弱い

仮説: 仮にその二代将軍が誤導しないとすればこの加速度別は侵害しない
1. 仮定1: 以下のように仮定する。この加速度別は侵害する
2. 事実5と仮定1から、推論1: "「そのセーフガードは行人でないけどハビタブルゾーンである」ということは間違っている"が導かれる
3. 事実7から、推論2: "もし「そのセーフガードは行人でないけどハビタブルゾーンだ」ということは成り立つということはないならひ弱い"が導かれる
4. 推論1と推論2から、推論3: "そのセーフガードはひ弱い"が導かれる
5. 推論3と事実6から、推論4: "「この異状死は蝋石でないけど台湾全土である」ということは誤りだ"が導かれる
6. 推論4と事実1から、推論5: "その二代将軍は誤導する"が導かれる
7. 仮定2: 以下のように仮定する。その二代将軍は誤導しない
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "この加速度別は侵害しない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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