inputs: hypothesis: Trade secrets were stolen. premise: Some of the stolen trade secrets were seized from the defendants at the San Francisco International Airport (SFO) while they were attempting to fly to China.