>>393
バカではないと賢いが同値かどうか問題