Identify the rule of inference that is used to arrive at the conclusion from the statements "if x is healthy to eat, then x does not taste good" and "tofu is healthy to eat."