This version is very prevalent around here. Logic getting rarer these days. https://blog.apaonline.org/2019/06/27/monty-python-witch-trial-validity-soundness-and-the-fallacy-of-the-undistributed-middle/?amp "...duck theory..."