The statement "mike is sleeping" is true because Mike is tired