Deriving Bounds and Inequality Constraints Using LogicalRelations Among Counterfactuals