その製作会社は仄暗い
fact1: もし仮にその製作会社は吸収され易いなら「それは仄暗い」ということは確かだ fact2: その一部上場企業が訳だとするとその製作会社は仄暗いということはなくてそれは止めど無くない fact3: その一部上場企業は訳でない fact4: その一部上場企業は止めど無い fact5: もし仮に「その一部上場企業は止めど無くなくてそれにそれは訳でない」ということは事実と異なるとするとその製作会社は抽象的思考能力である fact6: もし仮にその製作会社は抽象的思考能力であるならそれは訳だ fact7: もしも「その製作会社は抽象的思考能力だ」ということは事実だとしたら「それは吸収され易い」ということは成り立つ
void -> assump1: 以下のように仮定する。その一部上場企業は止めど無いということはなくて加えて訳でない; assump1 -> int1: その一部上場企業は止めど無くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その一部上場企業は止めど無いということはないしかつ訳でない」ということは誤りである; int3 & fact5 -> int4: その製作会社は抽象的思考能力である; int4 & fact7 -> int5: その製作会社は吸収され易い; int5 & fact1 -> hypothesis;
その製作会社は仄暗くない
$facts$ = fact1: もし仮にその製作会社は吸収され易いなら「それは仄暗い」ということは確かだ fact2: その一部上場企業が訳だとするとその製作会社は仄暗いということはなくてそれは止めど無くない fact3: その一部上場企業は訳でない fact4: その一部上場企業は止めど無い fact5: もし仮に「その一部上場企業は止めど無くなくてそれにそれは訳でない」ということは事実と異なるとするとその製作会社は抽象的思考能力である fact6: もし仮にその製作会社は抽象的思考能力であるならそれは訳だ fact7: もしも「その製作会社は抽象的思考能力だ」ということは事実だとしたら「それは吸収され易い」ということは成り立つ ; $hypothesis$ = その製作会社は仄暗い ; $proof$ = 
void -> assump1: 以下のように仮定する。その一部上場企業は止めど無いということはなくて加えて訳でない; assump1 -> int1: その一部上場企業は止めど無くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その一部上場企業は止めど無いということはないしかつ訳でない」ということは誤りである; int3 & fact5 -> int4: その製作会社は抽象的思考能力である; int4 & fact7 -> int5: その製作会社は吸収され易い; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその製作会社は吸収され易いなら「それは仄暗い」ということは確かだ
事実2: その一部上場企業が訳だとするとその製作会社は仄暗いということはなくてそれは止めど無くない
事実3: その一部上場企業は訳でない
事実4: その一部上場企業は止めど無い
事実5: もし仮に「その一部上場企業は止めど無くなくてそれにそれは訳でない」ということは事実と異なるとするとその製作会社は抽象的思考能力である
事実6: もし仮にその製作会社は抽象的思考能力であるならそれは訳だ
事実7: もしも「その製作会社は抽象的思考能力だ」ということは事実だとしたら「それは吸収され易い」ということは成り立つ

仮説: その製作会社は仄暗い
1. 仮定1: 以下のように仮定する。その一部上場企業は止めど無いということはなくて加えて訳でない
2. 仮定1から、推論1: "その一部上場企業は止めど無くない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その一部上場企業は止めど無いということはないしかつ訳でない」ということは誤りである"が導かれる
5. 推論3と事実5から、推論4: "その製作会社は抽象的思考能力である"が導かれる
6. 推論4と事実7から、推論5: "その製作会社は吸収され易い"が導かれる
7. 推論5と事実1から、仮説が導かれる

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