Take the following as truth: Bauerstein. 
Then the following statement: "Not Bauerstein." is true, false, or inconclusive?
Answer: False