And now for something marginally different: "I have no idea if <bats can fly>. But if I have a model of <flight in biological animals> and <bats> happen not to

And now for something marginally different: "I have no idea if <bats can fly>. But if I have a model of <flight in biological animals> and <bats> happen not to fit the model, that's nothing like proof that they cannot <fly>." Notice how if you change what someone is saying, you can make them look silly? And yes, if you are looking at it from the perspective of deductive reasoning, the statement does make perfect sense.