あのプロセス組織はクローニングしない
fact1: 「あの本土上陸はクローニングする」ということは正しい fact2: 「あのプロセス組織はクローニングする」ということは正しい
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「あの本土上陸はクローニングする」ということは正しい fact2: 「あのプロセス組織はクローニングする」ということは正しい ; $hypothesis$ = あのプロセス組織はクローニングしない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「あの本土上陸はクローニングする」ということは正しい
事実2: 「あのプロセス組織はクローニングする」ということは正しい

仮説: あのプロセス組織はクローニングしない
1. 事実2から、仮説が否定される

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