Take the following as truth: HAL's shiva house.
Then the following statement: "HAL has a shiva house." is true, false, or inconclusive?
Answer: False