でもね
AならばB, BならばC ならば AならばC
みたいな純粋な論理展開ができてこその人工知能だと思うんだ
NN で純粋論理はできないの?