science fiction comedy Deductions science fiction genre is for example science fiction comedy ⇐ (science fiction comedy is a science fiction genre), (is a is inverse of is for example)