For instance, the government auctioned the Yukos Oil Company for $100 million.
The company's value at auction was appraised by an independent auditor. 
mnli hypothesis: The company's value at auction was appraised by an independent auditor.  premise: For instance, the government auctioned the Yukos Oil Company for $100 million.