"ProSeries is apparently saying it is non-taxable, which is a rather intriguing thing, since the software should not be making such decisions that are unclear."

The software is letting you make the decision. You don't have to check that box.