あのバイオ技術は海豚でない
fact1: もしも「その器種は再活用でないけどそれは知り得る」ということは偽だとするとあのバイオ技術は海豚だ fact2: 「その器種は再活用だということはない一方で知り得る」ということは成り立たない
$facts$ = fact1: もしも「その器種は再活用でないけどそれは知り得る」ということは偽だとするとあのバイオ技術は海豚だ fact2: 「その器種は再活用だということはない一方で知り得る」ということは成り立たない ; $hypothesis$ = あのバイオ技術は海豚でない ; $proof$ = 
事実1: もしも「その器種は再活用でないけどそれは知り得る」ということは偽だとするとあのバイオ技術は海豚だ
事実2: 「その器種は再活用だということはない一方で知り得る」ということは成り立たない

仮説: あのバイオ技術は海豚でない