そのフジテレビ映像企画部は後ろ暗い
fact1: もしこの経常利益が集め易いとすればあのフジテレビ映像企画部は後ろ暗い fact2: もし仮にこの鍛造品が発現し易くないかまたは発揮し難いということはないかどちらもだとしたらこの経常利益は集め易い fact3: もし仮にこの経常利益が発揮し難くないとするとこの鍛造品はてかてかするしまた甘ーい fact4: 仮にこの鍛造品がてかてかするならこの後攻はてかてかしない fact5: 仮に「この暗夜は発現し易くないしその上てかてかしない」ということは誤りならこの空虚感は発現し易い fact6: もし仮にこの暗夜が発現し易くないとしたらこの後攻は発現し易くないがしかしそれは甘ーい fact7: もしも「何かはめでたいしかつ発揮し難い」ということは間違いであるならば発揮し難くない fact8: もし仮にあの四色は止み難いとしたら「それは見渡せるしさらにそれは発足するということはない」ということは誤っている fact9: この暗夜は細いかまたは発現し易いとするとてかてかしない fact10: この暗夜が発現し易くて細いとするとそのフジテレビ映像企画部は後ろ暗くない fact11: もしも「「なにがしかの物は見渡せるが発足するということはない」ということは成り立つ」ということは間違いであるとすればそれは来難いということはない fact12: もしその各停は集め易くないとすれば「この経常利益はめでたいしまたそれは発揮し難い」ということは間違いだ fact13: この暗夜はめでたくないしそれは粘り強くない fact14: なにがしかのものは細いとすれば「それは発現し易くないしまたてかてかするということはない」ということは成り立たない fact15: 仮にこの暗夜はめでたくなくて粘り強いということはないならばてかてかする fact16: この後攻が発現し易くないならばこの鍛造品は発現し易くないかもしくは発揮し難いということはないかあるいは両方ともである fact17: あの四色は来難くないとしたら「頼み難いしその上粘り強い」ということは確かでない fact18: もし仮にこの後攻がてかてかしないならばこの暗夜は発現し易くてさらにそれは細い
void -> assump1: 以下のように仮定する。この暗夜は発現し易い; assump1 -> int1: この暗夜は細いかもしくはそれは発現し易いかあるいはどちらもだ; int1 & fact9 -> int2: この暗夜はてかてかするということはない; fact15 & fact13 -> int3: この暗夜はてかてかする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この暗夜は発現し易くない」ということは成り立つ; int5 & fact6 -> int6: この後攻は発現し易くないけれど甘ーい; int6 -> int7: この後攻は発現し易くない; int7 & fact16 -> int8: この鍛造品は発現し易くないかまたは発揮し難くないかもしくはどちらもだ; int8 & fact2 -> int9: この経常利益は集め易い; int9 & fact1 -> hypothesis;
この空虚感は発現し易いかそれは宜しいかあるいは両方である
fact20 -> int10: もしこの暗夜は細いなら「発現し易くないしさらにてかてかしない」ということは本当でない;
$facts$ = fact1: もしこの経常利益が集め易いとすればあのフジテレビ映像企画部は後ろ暗い fact2: もし仮にこの鍛造品が発現し易くないかまたは発揮し難いということはないかどちらもだとしたらこの経常利益は集め易い fact3: もし仮にこの経常利益が発揮し難くないとするとこの鍛造品はてかてかするしまた甘ーい fact4: 仮にこの鍛造品がてかてかするならこの後攻はてかてかしない fact5: 仮に「この暗夜は発現し易くないしその上てかてかしない」ということは誤りならこの空虚感は発現し易い fact6: もし仮にこの暗夜が発現し易くないとしたらこの後攻は発現し易くないがしかしそれは甘ーい fact7: もしも「何かはめでたいしかつ発揮し難い」ということは間違いであるならば発揮し難くない fact8: もし仮にあの四色は止み難いとしたら「それは見渡せるしさらにそれは発足するということはない」ということは誤っている fact9: この暗夜は細いかまたは発現し易いとするとてかてかしない fact10: この暗夜が発現し易くて細いとするとそのフジテレビ映像企画部は後ろ暗くない fact11: もしも「「なにがしかの物は見渡せるが発足するということはない」ということは成り立つ」ということは間違いであるとすればそれは来難いということはない fact12: もしその各停は集め易くないとすれば「この経常利益はめでたいしまたそれは発揮し難い」ということは間違いだ fact13: この暗夜はめでたくないしそれは粘り強くない fact14: なにがしかのものは細いとすれば「それは発現し易くないしまたてかてかするということはない」ということは成り立たない fact15: 仮にこの暗夜はめでたくなくて粘り強いということはないならばてかてかする fact16: この後攻が発現し易くないならばこの鍛造品は発現し易くないかもしくは発揮し難いということはないかあるいは両方ともである fact17: あの四色は来難くないとしたら「頼み難いしその上粘り強い」ということは確かでない fact18: もし仮にこの後攻がてかてかしないならばこの暗夜は発現し易くてさらにそれは細い ; $hypothesis$ = そのフジテレビ映像企画部は後ろ暗い ; $proof$ = 
void -> assump1: 以下のように仮定する。この暗夜は発現し易い; assump1 -> int1: この暗夜は細いかもしくはそれは発現し易いかあるいはどちらもだ; int1 & fact9 -> int2: この暗夜はてかてかするということはない; fact15 & fact13 -> int3: この暗夜はてかてかする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この暗夜は発現し易くない」ということは成り立つ; int5 & fact6 -> int6: この後攻は発現し易くないけれど甘ーい; int6 -> int7: この後攻は発現し易くない; int7 & fact16 -> int8: この鍛造品は発現し易くないかまたは発揮し難くないかもしくはどちらもだ; int8 & fact2 -> int9: この経常利益は集め易い; int9 & fact1 -> hypothesis; __PROVED__
事実1: もしこの経常利益が集め易いとすればあのフジテレビ映像企画部は後ろ暗い
事実2: もし仮にこの鍛造品が発現し易くないかまたは発揮し難いということはないかどちらもだとしたらこの経常利益は集め易い
事実3: もし仮にこの経常利益が発揮し難くないとするとこの鍛造品はてかてかするしまた甘ーい
事実4: 仮にこの鍛造品がてかてかするならこの後攻はてかてかしない
事実5: 仮に「この暗夜は発現し易くないしその上てかてかしない」ということは誤りならこの空虚感は発現し易い
事実6: もし仮にこの暗夜が発現し易くないとしたらこの後攻は発現し易くないがしかしそれは甘ーい
事実7: もしも「何かはめでたいしかつ発揮し難い」ということは間違いであるならば発揮し難くない
事実8: もし仮にあの四色は止み難いとしたら「それは見渡せるしさらにそれは発足するということはない」ということは誤っている
事実9: この暗夜は細いかまたは発現し易いとするとてかてかしない
事実10: この暗夜が発現し易くて細いとするとそのフジテレビ映像企画部は後ろ暗くない
事実11: もしも「「なにがしかの物は見渡せるが発足するということはない」ということは成り立つ」ということは間違いであるとすればそれは来難いということはない
事実12: もしその各停は集め易くないとすれば「この経常利益はめでたいしまたそれは発揮し難い」ということは間違いだ
事実13: この暗夜はめでたくないしそれは粘り強くない
事実14: なにがしかのものは細いとすれば「それは発現し易くないしまたてかてかするということはない」ということは成り立たない
事実15: 仮にこの暗夜はめでたくなくて粘り強いということはないならばてかてかする
事実16: この後攻が発現し易くないならばこの鍛造品は発現し易くないかもしくは発揮し難いということはないかあるいは両方ともである
事実17: あの四色は来難くないとしたら「頼み難いしその上粘り強い」ということは確かでない
事実18: もし仮にこの後攻がてかてかしないならばこの暗夜は発現し易くてさらにそれは細い

仮説: そのフジテレビ映像企画部は後ろ暗い
1. 仮定1: 以下のように仮定する。この暗夜は発現し易い
2. 仮定1から、推論1: "この暗夜は細いかもしくはそれは発現し易いかあるいはどちらもだ"が導かれる
3. 推論1と事実9から、推論2: "この暗夜はてかてかするということはない"が導かれる
4. 事実15と事実13から、推論3: "この暗夜はてかてかする"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この暗夜は発現し易くない」ということは成り立つ"が導かれる
7. 推論5と事実6から、推論6: "この後攻は発現し易くないけれど甘ーい"が導かれる
8. 推論6から、推論7: "この後攻は発現し易くない"が導かれる
9. 推論7と事実16から、推論8: "この鍛造品は発現し易くないかまたは発揮し難くないかもしくはどちらもだ"が導かれる
10. 推論8と事実2から、推論9: "この経常利益は集め易い"が導かれる
11. 推論9と事実1から、仮説が導かれる

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