あのソフトウエアーは結び付き易くない
fact1: 「あのソフトウエアーは越ゆが弛み無くない」ということは成り立つということはない fact2: もしも「あのソフトウエアーは越ゆけど弛み無くない」ということは事実と異なるとしたら「それは結び付き易いということはない」ということは確かである
$facts$ = fact1: 「あのソフトウエアーは越ゆが弛み無くない」ということは成り立つということはない fact2: もしも「あのソフトウエアーは越ゆけど弛み無くない」ということは事実と異なるとしたら「それは結び付き易いということはない」ということは確かである ; $hypothesis$ = あのソフトウエアーは結び付き易くない ; $proof$ = 
事実1: 「あのソフトウエアーは越ゆが弛み無くない」ということは成り立つということはない
事実2: もしも「あのソフトウエアーは越ゆけど弛み無くない」ということは事実と異なるとしたら「それは結び付き易いということはない」ということは確かである

仮説: あのソフトウエアーは結び付き易くない