Tree Tent Rules
Tree Tent is a puzzle with unfilled squares (shown in gray). Your task is to place tents in such a way that the number of tents in each row and column is satisfied, and that each tree has a tent next to it.
Clicking on a unfilled tile places a grass tile.
Clicking on a grass tile replaces it with a tent tile.
Clicking on a tent tile returns it to being unfilled.
-
Each tent is attached to one tree (so the number of tents and trees are equal).
-
The numbers down the side show how many tents are in the respective row or column.
-
A tent can only be placed horizontally or vertically adjacent to a tree.
-
Tents can never be placed adjacent to each other, neither vertically, horizontally, nor diagonally.
This rule comes directly from Rule #3. Use this rule to place grass tiles on any tile that isn't horizontally or vertically adjacent to a tree.
This rule comes directly from Rule #2. Use this rule to place grass tiles on any tile in a row/column that has the required number of tents.
This rule comes directly from Rule #2. Use this rule to place tent tiles on any tile in a row/column that has the same number of unfilled tiles as there are tents required.
Derivation of Rule #1. Use this rule to place a tent next to a tree which currently has no tents and is surrounded by grass/tree tiles.
This rule comes directly from Rule #4. Use this rule to place grass tiles on any tile that is vertically, horizontally, or diagonally adjacent to a tent.
This rule comes directly from Rule #1.
This rule comes directly from Rule #1.
This rule comes directly from Rule #1. Use this rule if a derivation leads to a situation where no place for a tent to be placed vertically or horizontally adjacent to a tree.
This rule comes directly from Rule #1. Use this rule if a derivation leads to a situation where there is a tent that isn't placed vertically or horizontally adjacent to a tree.
This rule comes directly from Rule #2. Use this rule if a derivation leads to a row/column having not enough tents to fulfil the requirements.
This rule comes directly from Rule #2. Use this rule if a derivation leads to a row/column having more tents than the requirements state.
This rule comes directly from Rule #4. Use this rule if a derivation leads to a two tents being placed vertically, horizontally, or diagonally adjacent.
Use this rule to create a branch in the proof of all possible combinations of tents and grass tiles of a particular row
Use this rule to select a tent and create a branch in the proof where each branch contains a possible link between that tent in a tree.
Use this rule to select a tree and create a branch in the proof where each branch contains a possible link between that tree to any adjacent tents.
Use this rule to create a split in the tree where the tile selected is a tent in one branch, and a grass tile in another branch