Take the following as truth: You see, there are seven of us at home.
Then the following statement: "Three of us live upstairs and four of us live downstairs at home. " is true, false, or inconclusive?