import Data.List (permutations)

main :: IO ()
main =
  print
    [ ( "Baker lives on " <> show b,
        "Cooper lives on " <> show c,
        "Fletcher lives on " <> show f,
        "Miller lives on " <> show m,
        "Smith lives on " <> show s
      )
      | [b, c, f, m, s] <- permutations [1 .. 5],
        b /= 5,
        c /= 1,
        f /= 1,
        f /= 5,
        m > c,
        abs (s - f) > 1,
        abs (c - f) > 1
    ]