premise: A trolley heads through chinatown. hypothesis: A trolley rolls through chinatown, the trolley is a sentient being and is out for blood.
contradiction: The trolley either heads through or is a sentient being.