「この商習慣は繋がり合う」ということは成り立つ
fact1: 「この表計算ソフトウェアーが選解任だしかつそれは関わる」ということは成り立たない fact2: もしも「「この表計算ソフトウェアーは選解任であるし更にそれは関わる」ということは事実だ」ということは誤りであるならこの商習慣は繋がり合わない
$facts$ = fact1: 「この表計算ソフトウェアーが選解任だしかつそれは関わる」ということは成り立たない fact2: もしも「「この表計算ソフトウェアーは選解任であるし更にそれは関わる」ということは事実だ」ということは誤りであるならこの商習慣は繋がり合わない ; $hypothesis$ = 「この商習慣は繋がり合う」ということは成り立つ ; $proof$ = 
事実1: 「この表計算ソフトウェアーが選解任だしかつそれは関わる」ということは成り立たない
事実2: もしも「「この表計算ソフトウェアーは選解任であるし更にそれは関わる」ということは事実だ」ということは誤りであるならこの商習慣は繋がり合わない

仮説: 「この商習慣は繋がり合う」ということは成り立つ