They were too far up on the rocks, he thought.
He was thinking how he was going to get down the rocks.
mnli hypothesis: He was thinking how he was going to get down the rocks. premise: They were too far up on the rocks, he thought.