Novel(beastsOfPrey) → (Fantasy(beastsOfPrey) ∨ ScienceFiction(beastsOfPrey))
∀x ∀y (ScienceFiction(x) ∧ Mythological(y) ∧ Creature(y) → ¬About(x, y))
About(beastsOfPrey, shetani) ∧ Creature(shetani)
Mythological(shetani)
¬ScienceFiction(beastsofprey) ∧ Novel(beastsOfPrey)