あるものは商社でしかもそれは透ける
fact1: もし「あのプロフィールは先鋭化するし加えてそれは弛み無い」ということは嘘であるとするとその技術的特徴は罹り易くない fact2: その技術的特徴は罹り易い fact3: もし仮にその技術的特徴は透けないとしたら「それが商社だし罹り易い」ということは成り立たない fact4: もしもあのプロフィールは透けないとしたら「「先鋭化するしそれは弛み無い」ということは成り立つ」ということは事実と異なる fact5: あの数十軒は流され易いしそれは確認し難い fact6: その技術的特徴は透けない fact7: あのプロフィールは商社である fact8: もし仮に「その技術的特徴は由々しないが一転である」ということは成り立たないとするとあのプロフィールは一転だ fact9: 「透ける」ものはある fact10: 仮に「あのプロフィールは一転だ」ということは正しいとしたら「商社でなくてその上罹り易くない」ということは成り立たない fact11: なんらかのものは商社だ fact12: 仮にあのプロフィールが弛み無いということはないとすればあの技術的特徴は罹り易くない
void -> assump1: 以下のように仮定する。あのプロフィールは透けない; fact4 & assump1 -> int1: 「あのプロフィールは先鋭化するし弛み無い」ということは成り立つということはない; int1 & fact1 -> int2: その技術的特徴は罹り易いということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのプロフィールは透ける; int4 & fact7 -> int5: あのプロフィールは商社で透ける; int5 -> hypothesis;
このマネージャは透ける
$facts$ = fact1: もし「あのプロフィールは先鋭化するし加えてそれは弛み無い」ということは嘘であるとするとその技術的特徴は罹り易くない fact2: その技術的特徴は罹り易い fact3: もし仮にその技術的特徴は透けないとしたら「それが商社だし罹り易い」ということは成り立たない fact4: もしもあのプロフィールは透けないとしたら「「先鋭化するしそれは弛み無い」ということは成り立つ」ということは事実と異なる fact5: あの数十軒は流され易いしそれは確認し難い fact6: その技術的特徴は透けない fact7: あのプロフィールは商社である fact8: もし仮に「その技術的特徴は由々しないが一転である」ということは成り立たないとするとあのプロフィールは一転だ fact9: 「透ける」ものはある fact10: 仮に「あのプロフィールは一転だ」ということは正しいとしたら「商社でなくてその上罹り易くない」ということは成り立たない fact11: なんらかのものは商社だ fact12: 仮にあのプロフィールが弛み無いということはないとすればあの技術的特徴は罹り易くない ; $hypothesis$ = あるものは商社でしかもそれは透ける ; $proof$ = 
void -> assump1: 以下のように仮定する。あのプロフィールは透けない; fact4 & assump1 -> int1: 「あのプロフィールは先鋭化するし弛み無い」ということは成り立つということはない; int1 & fact1 -> int2: その技術的特徴は罹り易いということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのプロフィールは透ける; int4 & fact7 -> int5: あのプロフィールは商社で透ける; int5 -> hypothesis; __PROVED__
事実1: もし「あのプロフィールは先鋭化するし加えてそれは弛み無い」ということは嘘であるとするとその技術的特徴は罹り易くない
事実2: その技術的特徴は罹り易い
事実3: もし仮にその技術的特徴は透けないとしたら「それが商社だし罹り易い」ということは成り立たない
事実4: もしもあのプロフィールは透けないとしたら「「先鋭化するしそれは弛み無い」ということは成り立つ」ということは事実と異なる
事実5: あの数十軒は流され易いしそれは確認し難い
事実6: その技術的特徴は透けない
事実7: あのプロフィールは商社である
事実8: もし仮に「その技術的特徴は由々しないが一転である」ということは成り立たないとするとあのプロフィールは一転だ
事実9: 「透ける」ものはある
事実10: 仮に「あのプロフィールは一転だ」ということは正しいとしたら「商社でなくてその上罹り易くない」ということは成り立たない
事実11: なんらかのものは商社だ
事実12: 仮にあのプロフィールが弛み無いということはないとすればあの技術的特徴は罹り易くない

仮説: あるものは商社でしかもそれは透ける
1. 仮定1: 以下のように仮定する。あのプロフィールは透けない
2. 事実4と仮定1から、推論1: "「あのプロフィールは先鋭化するし弛み無い」ということは成り立つということはない"が導かれる
3. 推論1と事実1から、推論2: "その技術的特徴は罹り易いということはない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのプロフィールは透ける"が導かれる
6. 推論4と事実7から、推論5: "あのプロフィールは商社で透ける"が導かれる
7. 推論5から、仮説が導かれる

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