We can build a structure that represents all the possible transitions from one state to another in the FWGC problem.

For example, the only possible transition that can be made from the initial state 1 is for the farmer to take the goat into state 7:

The double arrow also indicates a legal transition from state 7 to state 1 (although it wouldn't help to solve the problem).