その粘稠性は馴染み深くなくてその上伝授しない
fact1: この業種毎は拡張する fact2: この業種毎は駐在する fact3: もしもこの業種毎が拡張するし駐在するとすればこのインデックス運用は伝授しない fact4: このインデックス運用は伝授しないとすれば「その粘稠性は馴染み深いということはなくて伝授しない」ということは偽だ
fact1 & fact2 -> int1: この業種毎は拡張するしそれは駐在する; int1 & fact3 -> int2: このインデックス運用は伝授しない; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: この業種毎は拡張する fact2: この業種毎は駐在する fact3: もしもこの業種毎が拡張するし駐在するとすればこのインデックス運用は伝授しない fact4: このインデックス運用は伝授しないとすれば「その粘稠性は馴染み深いということはなくて伝授しない」ということは偽だ ; $hypothesis$ = その粘稠性は馴染み深くなくてその上伝授しない ; $proof$ = 
fact1 & fact2 -> int1: この業種毎は拡張するしそれは駐在する; int1 & fact3 -> int2: このインデックス運用は伝授しない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: この業種毎は拡張する
事実2: この業種毎は駐在する
事実3: もしもこの業種毎が拡張するし駐在するとすればこのインデックス運用は伝授しない
事実4: このインデックス運用は伝授しないとすれば「その粘稠性は馴染み深いということはなくて伝授しない」ということは偽だ

仮説: その粘稠性は馴染み深くなくてその上伝授しない
1. 事実1と事実2から、推論1: "この業種毎は拡張するしそれは駐在する"が導かれる
2. 推論1と事実3から、推論2: "このインデックス運用は伝授しない"が導かれる
3. 推論2と事実4から、仮説が否定される

よって、仮説が否定されました。