Classify these cases by examining the real status of the middle term:
1. Inferring a rod's expansion from established heating under controlled conditions — limmī-type, since heating causes expansion.
2. Inferring heating from that expansion in a suitably restricted setup — innī-type, since expansion is the effect.
3. Inferring the state of a switch merely from an unlit lamp — underdetermined, because alternatives remain.
4. Inferring “horse” from “has four legs” through a false universal premise — not demonstrative.
Classifying an inferential direction and establishing the soundness of the inference are different tasks.