If Dune is either a fact and a result of creative processes, or neither a fact nor a result of creative processes, then Dune is a result of creative processes and science-fiction.
Knows(dan, dune) ∧ (¬(Fact(dune) ⊕ ResultOf(dune, creativeProcess))) → (ResultOf(dune, creativeProcess) ∧ ScienceFiction(dune))