Here's the  They are both heavy smokers and have managed in three months to smell up the rest of the building.
Everyone knows that smoking does not leave an odor
mnli hypothesis: Everyone knows that smoking does not leave an odor premise: Here's the  They are both heavy smokers and have managed in three months to smell up the rest of the building.