その少子化時代は空恐ろしくない
fact1: もし仮に「伝わり易くないかあるいは透過しない」物があるとすればあの少子化時代は伝わり易くない fact2: 「「分かり易いか伝わり易くない」ということは成り立つ」物はある fact3: 何らかのものは分かり易くないかそれは伝わり易いかあるいはどちらもである fact4: もし「伝わり易くない」物があるとするとその少子化時代は分かり易くない fact5: あらゆるものは感染し易くない fact6: なにかは分かり易くないかあるいは伝わり易くないかもしくはどちらもだ fact7: もしもなんらかのものが分かり易くないかまたは伝わり易くないならその少子化時代は分かり易くない fact8: 分かり易くない物は空恐ろしくない fact9: もしもあの座薬が沙汰しないならば伝わり易くない fact10: もしもあのトンネルモードが分かり易いということはないならばその少子化時代は伝わり易いし空恐ろしい
fact8 -> int1: その少子化時代が分かり易くないならばそれは空恐ろしくない; fact6 & fact7 -> int2: その少子化時代は分かり易くない; int1 & int2 -> hypothesis;
fact8 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact6 & fact7 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
その少子化時代は空恐ろしい
fact11 -> int3: この淡紅色は感染し易くない;
$facts$ = fact1: もし仮に「伝わり易くないかあるいは透過しない」物があるとすればあの少子化時代は伝わり易くない fact2: 「「分かり易いか伝わり易くない」ということは成り立つ」物はある fact3: 何らかのものは分かり易くないかそれは伝わり易いかあるいはどちらもである fact4: もし「伝わり易くない」物があるとするとその少子化時代は分かり易くない fact5: あらゆるものは感染し易くない fact6: なにかは分かり易くないかあるいは伝わり易くないかもしくはどちらもだ fact7: もしもなんらかのものが分かり易くないかまたは伝わり易くないならその少子化時代は分かり易くない fact8: 分かり易くない物は空恐ろしくない fact9: もしもあの座薬が沙汰しないならば伝わり易くない fact10: もしもあのトンネルモードが分かり易いということはないならばその少子化時代は伝わり易いし空恐ろしい ; $hypothesis$ = その少子化時代は空恐ろしくない ; $proof$ = 
fact8 -> int1: その少子化時代が分かり易くないならばそれは空恐ろしくない; fact6 & fact7 -> int2: その少子化時代は分かり易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「伝わり易くないかあるいは透過しない」物があるとすればあの少子化時代は伝わり易くない
事実2: 「「分かり易いか伝わり易くない」ということは成り立つ」物はある
事実3: 何らかのものは分かり易くないかそれは伝わり易いかあるいはどちらもである
事実4: もし「伝わり易くない」物があるとするとその少子化時代は分かり易くない
事実5: あらゆるものは感染し易くない
事実6: なにかは分かり易くないかあるいは伝わり易くないかもしくはどちらもだ
事実7: もしもなんらかのものが分かり易くないかまたは伝わり易くないならその少子化時代は分かり易くない
事実8: 分かり易くない物は空恐ろしくない
事実9: もしもあの座薬が沙汰しないならば伝わり易くない
事実10: もしもあのトンネルモードが分かり易いということはないならばその少子化時代は伝わり易いし空恐ろしい

仮説: その少子化時代は空恐ろしくない
1. 事実8から、推論1: "その少子化時代が分かり易くないならばそれは空恐ろしくない"が導かれる
2. 事実6と事実7から、推論2: "その少子化時代は分かり易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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