The type of inference being used in this statement is a deductive inference.
She was happy so she must be satisfied.
### Instruction:
Name the type of inference being used.

### Input:
She was happy so she must be satisfied.

### Response:
