Does there exist prefect parsimony tree for our example with geometrical shapes?
There is a simple test