你家里有金鱼吗？”
亚特：“没有，我从来不养金鱼。”
大卫：“那么，按照逻辑你一定没有性生活 。
--------
逻辑错误：for all: A -> B implies notB -> notA 所以正确说法是

你没有性生活吗？”
亚特：“没有。”
大卫：“那么，按照逻辑你*可能*没有养金鱼 。

for all: A -> B implies exist notB -> notA