>>945
その簡単な論理というのは何という名前の推論則でどこかにのってますか?