この国有企業改革は共同持ち株会社でない
fact1: 「あの海外メーカーは煮る」ということは確かだ fact2: 「この国有企業改革は煮る」ということは確かだ fact3: もしこの国有企業改革が煮れば共同持ち株会社である
$facts$ = fact1: 「あの海外メーカーは煮る」ということは確かだ fact2: 「この国有企業改革は煮る」ということは確かだ fact3: もしこの国有企業改革が煮れば共同持ち株会社である ; $hypothesis$ = この国有企業改革は共同持ち株会社でない ; $proof$ = 
事実1: 「あの海外メーカーは煮る」ということは確かだ
事実2: 「この国有企業改革は煮る」ということは確かだ
事実3: もしこの国有企業改革が煮れば共同持ち株会社である

仮説: この国有企業改革は共同持ち株会社でない