If Dune is science-fiction, then Dune is not a result of creative processes and science-fiction.
Knows(dan, dune) ∧ (ScienceFiction(dune)) → (¬(ResultOf(dune, creativeProcess)  ∧ ScienceFiction(dune)))