You see, there are seven of us at home.
Three of us live upstairs and four of us live downstairs at home. 
mnli hypothesis: Three of us live upstairs and four of us live downstairs at home.  premise: You see, there are seven of us at home.