Well, I am sure not an expert on cats at all but, seems like
people couldn't begin to work on bettering the relationship
between the cats with one outside & one in. I would lure Dino
back inside & not let either one be an outside cat. Spaying the
female should help a lot, but not immediately.I'd let them each
have their own space & gradually work on re-introing them.