この規模効果は緊急度であるということはない
fact1: とある物が腐り掛けるしさらに青白いならばそれは緊急度でない fact2: あのマグネットホックが青白いならこの規模効果は青白い fact3: この規模効果はチェーン展開しない fact4: あのマグネットホックは青白い fact5: もし仮にこの規模効果がチェーン展開しないならば蠢き出すしその上腐り掛ける
fact5 & fact3 -> int1: この規模効果は蠢き出すし腐り掛ける; int1 -> int2: この規模効果は腐り掛ける; fact4 & fact2 -> int3: この規模効果は青白い; int2 & int3 -> int4: この規模効果は腐り掛けるしそれは青白い; fact1 -> int5: もしもこの規模効果は腐り掛けるししかも青白いとすれば緊急度でない; int4 & int5 -> hypothesis;
$facts$ = fact1: とある物が腐り掛けるしさらに青白いならばそれは緊急度でない fact2: あのマグネットホックが青白いならこの規模効果は青白い fact3: この規模効果はチェーン展開しない fact4: あのマグネットホックは青白い fact5: もし仮にこの規模効果がチェーン展開しないならば蠢き出すしその上腐り掛ける ; $hypothesis$ = この規模効果は緊急度であるということはない ; $proof$ = 
fact5 & fact3 -> int1: この規模効果は蠢き出すし腐り掛ける; int1 -> int2: この規模効果は腐り掛ける; fact4 & fact2 -> int3: この規模効果は青白い; int2 & int3 -> int4: この規模効果は腐り掛けるしそれは青白い; fact1 -> int5: もしもこの規模効果は腐り掛けるししかも青白いとすれば緊急度でない; int4 & int5 -> hypothesis; __PROVED__
事実1: とある物が腐り掛けるしさらに青白いならばそれは緊急度でない
事実2: あのマグネットホックが青白いならこの規模効果は青白い
事実3: この規模効果はチェーン展開しない
事実4: あのマグネットホックは青白い
事実5: もし仮にこの規模効果がチェーン展開しないならば蠢き出すしその上腐り掛ける

仮説: この規模効果は緊急度であるということはない
1. 事実5と事実3から、推論1: "この規模効果は蠢き出すし腐り掛ける"が導かれる
2. 推論1から、推論2: "この規模効果は腐り掛ける"が導かれる
3. 事実4と事実2から、推論3: "この規模効果は青白い"が導かれる
4. 推論2と推論3から、推論4: "この規模効果は腐り掛けるしそれは青白い"が導かれる
5. 事実1から、推論5: "もしもこの規模効果は腐り掛けるししかも青白いとすれば緊急度でない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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