中間論理がたくさんあること