Euler Circles and Logical Statements