The statement "a oak tree is an oak and an oak is a type of tree" is true because Oak is a kind of tree.