その専門業者は割り出せる
fact1: あのドットコムは存続す fact2: もしもその専門業者が存続すとしたら割り出せない fact3: 「その専門業者は絞り取る」ということは誤りであるということはないとしたらそれは割り出せるということはない fact4: その専門業者は存続す fact5: もしその専門業者が熟達するとすると存続すらない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: あのドットコムは存続す fact2: もしもその専門業者が存続すとしたら割り出せない fact3: 「その専門業者は絞り取る」ということは誤りであるということはないとしたらそれは割り出せるということはない fact4: その専門業者は存続す fact5: もしその専門業者が熟達するとすると存続すらない ; $hypothesis$ = その専門業者は割り出せる ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: あのドットコムは存続す
事実2: もしもその専門業者が存続すとしたら割り出せない
事実3: 「その専門業者は絞り取る」ということは誤りであるということはないとしたらそれは割り出せるということはない
事実4: その専門業者は存続す
事実5: もしその専門業者が熟達するとすると存続すらない

仮説: その専門業者は割り出せる
1. 事実2と事実4から、仮説が否定される

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