Then they walked completely round the house.
They did not move about the house at all.  
mnli hypothesis: They did not move about the house at all.   premise: Then they walked completely round the house.