Then they walked completely round the house.
They did not find what they were looking for when they went around the house.  
mnli hypothesis: They did not find what they were looking for when they went around the house.   premise: Then they walked completely round the house.