この始祖は享受し得る
fact1: もしもそのコア・スキルド・ワーカーが御紹介頂くとすれば非組合員でないし加えてそれは関係深い fact2: この投資的経費は御紹介頂く fact3: 仮に「非組合員でないがしかし関係深い」ものがあるとするとこの始祖は享受し得る fact4: そのコア・スキルド・ワーカーは御紹介頂く
fact1 & fact4 -> int1: そのコア・スキルド・ワーカーは非組合員でないがしかし関係深い; int1 -> int2: 「非組合員でないし加えて関係深い」ものはある; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): (¬{AA}x & {AB}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもそのコア・スキルド・ワーカーが御紹介頂くとすれば非組合員でないし加えてそれは関係深い fact2: この投資的経費は御紹介頂く fact3: 仮に「非組合員でないがしかし関係深い」ものがあるとするとこの始祖は享受し得る fact4: そのコア・スキルド・ワーカーは御紹介頂く ; $hypothesis$ = この始祖は享受し得る ; $proof$ = 
fact1 & fact4 -> int1: そのコア・スキルド・ワーカーは非組合員でないがしかし関係深い; int1 -> int2: 「非組合員でないし加えて関係深い」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしもそのコア・スキルド・ワーカーが御紹介頂くとすれば非組合員でないし加えてそれは関係深い
事実2: この投資的経費は御紹介頂く
事実3: 仮に「非組合員でないがしかし関係深い」ものがあるとするとこの始祖は享受し得る
事実4: そのコア・スキルド・ワーカーは御紹介頂く

仮説: この始祖は享受し得る
1. 事実1と事実4から、推論1: "そのコア・スキルド・ワーカーは非組合員でないがしかし関係深い"が導かれる
2. 推論1から、推論2: "「非組合員でないし加えて関係深い」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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