logic and reasoning examples - Search