Take the following as truth: So he has found the extra coffee-cup. 
Then the following statement: "He still has not located the coffee-cup." is true, false, or inconclusive?
Answer: False