mobile operating system Deductions mobile operating system is for example Replicant ⇐ (Replicant is a mobile operating system), (is a is inverse of is for example)