Added facts for simplified Einstein puzzle.
Fixed rules for simplified Einstein puzzle.