The name of the puzzle is goose-fox-beans.
Load init-fox.
Ok.
The name of an action is ferry-one.
You can move the boat and a block on the current bank onto the opposite bank.
If an object is below a boat then it is current.
If a location is not below a boat then it is opposite.
You can move a boat onto the opposite bank.
Load fail-fox.
If a red block is on an opposite bank and a yellow block is on the opposite bank then you lose.
Ok.
Load fail-fox2.
If a green block is on an opposite bank and a yellow block is on the opposite bank then you lose.
Ok.
Load final-fox.
The name of the goal is all-crossed.
Ok.
The goal is that all the blocks are on a destination bank.
Done.
No.