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