added hardcoded example to solve knights/knaves problem