>>124
必要条件ではあるけど十分条件ではないな
概念の分布が多すぎるのでAIに与えてみたい命題かもしれない