Then Dave saw something in the sky.
Dave looked up, but there was nothing in the air to be seen.
mnli hypothesis: Dave looked up, but there was nothing in the air to be seen. premise: Then Dave saw something in the sky.