The statement "brian is tired" is true because he has worked hard