もし仮にあの戦闘シーンが使用し難いならこの残存状況は目配りしないかまたはそれは迷信深くないかあるいは両方ともだ
fact1: 「なにがしかのものは亜硫酸でない」ということは本当である fact2: あの戦闘シーンは迷信深くないかあるいは使用し難い fact3: その大弾圧は事前・事後テストだ fact4: 使用し難くない物は目配りしないけれど御成る fact5: もしその大弾圧が事前・事後テストならばあの残存状況は目配りしないかまたはそれは公開前だ fact6: あの戦闘シーンは冬らしくないかもしくは使用し難くない fact7: もしあの戦闘シーンが使用し難いとすればその大弾圧は公開前でない一方で事前・事後テストである fact8: あの戦闘シーンは使用し難いかもしくは事前・事後テストでないかあるいはどちらもだ fact9: 何かは使用し難くないけど公開前だ fact10: 仮に「公開前でないししかも事前・事後テストな」物があるとすればあの残存状況は目配りしない fact11: あの戦闘シーンは事前・事後テストでない fact12: 「後らしい」物はある fact13: 迷信深くないものはある fact14: 「目配りしない」物はある
void -> assump1: 以下のように仮定する。あの戦闘シーンは使用し難い; fact7 & assump1 -> int1: その大弾圧は公開前でない一方で事前・事後テストだ; int1 -> int2: 「公開前でないけれど事前・事後テストな」物はある; int2 & fact10 -> int3: この残存状況は目配りしない; int3 -> int4: この残存状況は目配りしないかあるいはそれは迷信深くないかもしくは両方ともである; [assump1] & int4 -> hypothesis;
あの片腕は目配りしない一方で御成る
fact15 -> int5: もし仮にあの片腕が使用し難くないならばそれは目配りしないし更に御成る;
$facts$ = fact1: 「なにがしかのものは亜硫酸でない」ということは本当である fact2: あの戦闘シーンは迷信深くないかあるいは使用し難い fact3: その大弾圧は事前・事後テストだ fact4: 使用し難くない物は目配りしないけれど御成る fact5: もしその大弾圧が事前・事後テストならばあの残存状況は目配りしないかまたはそれは公開前だ fact6: あの戦闘シーンは冬らしくないかもしくは使用し難くない fact7: もしあの戦闘シーンが使用し難いとすればその大弾圧は公開前でない一方で事前・事後テストである fact8: あの戦闘シーンは使用し難いかもしくは事前・事後テストでないかあるいはどちらもだ fact9: 何かは使用し難くないけど公開前だ fact10: 仮に「公開前でないししかも事前・事後テストな」物があるとすればあの残存状況は目配りしない fact11: あの戦闘シーンは事前・事後テストでない fact12: 「後らしい」物はある fact13: 迷信深くないものはある fact14: 「目配りしない」物はある ; $hypothesis$ = もし仮にあの戦闘シーンが使用し難いならこの残存状況は目配りしないかまたはそれは迷信深くないかあるいは両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの戦闘シーンは使用し難い; fact7 & assump1 -> int1: その大弾圧は公開前でない一方で事前・事後テストだ; int1 -> int2: 「公開前でないけれど事前・事後テストな」物はある; int2 & fact10 -> int3: この残存状況は目配りしない; int3 -> int4: この残存状況は目配りしないかあるいはそれは迷信深くないかもしくは両方ともである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「なにがしかのものは亜硫酸でない」ということは本当である
事実2: あの戦闘シーンは迷信深くないかあるいは使用し難い
事実3: その大弾圧は事前・事後テストだ
事実4: 使用し難くない物は目配りしないけれど御成る
事実5: もしその大弾圧が事前・事後テストならばあの残存状況は目配りしないかまたはそれは公開前だ
事実6: あの戦闘シーンは冬らしくないかもしくは使用し難くない
事実7: もしあの戦闘シーンが使用し難いとすればその大弾圧は公開前でない一方で事前・事後テストである
事実8: あの戦闘シーンは使用し難いかもしくは事前・事後テストでないかあるいはどちらもだ
事実9: 何かは使用し難くないけど公開前だ
事実10: 仮に「公開前でないししかも事前・事後テストな」物があるとすればあの残存状況は目配りしない
事実11: あの戦闘シーンは事前・事後テストでない
事実12: 「後らしい」物はある
事実13: 迷信深くないものはある
事実14: 「目配りしない」物はある

仮説: もし仮にあの戦闘シーンが使用し難いならこの残存状況は目配りしないかまたはそれは迷信深くないかあるいは両方ともだ
1. 仮定1: 以下のように仮定する。あの戦闘シーンは使用し難い
2. 事実7と仮定1から、推論1: "その大弾圧は公開前でない一方で事前・事後テストだ"が導かれる
3. 推論1から、推論2: "「公開前でないけれど事前・事後テストな」物はある"が導かれる
4. 推論2と事実10から、推論3: "この残存状況は目配りしない"が導かれる
5. 推論3から、推論4: "この残存状況は目配りしないかあるいはそれは迷信深くないかもしくは両方ともである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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