型に矛盾があるかないか判定する関数