Tom takes aim at Lana, but the bullet misses because John shoves him.
The bullet hits Lana.
mnli hypothesis: The bullet hits Lana. premise: Tom takes aim at Lana, but the bullet misses because John shoves him.