If there is a point in a past set, does its chronological future interset a future set?

Assume you have a set $Fsubset mathcal M$ called a future set which is the chronological future of some set $Ssubset mathcal M$, ie., $F=I^+[S].$ Where $mathcal M$ is your spacetime. Similarly, assume you have a past set $P=I^-[S']$ for some $S'subsetmathcal M$.

So that we are clear, $F=I^+[S]$ means that $F$ is exactly those events $f$ where there is a future pointed timelike curve from a point $sin S$ to $f.$

Furthermore assume the boundary of $F$ and the boundary of $P$ are equal. Call the boundary $B$ and call $B$ an achronal boundary. (Calling it achronal might be justified later on if we make enough additional assumptions, right now it is bogus.)

Assume further that $mathcal M=Fcup Bcup P$.

What about $I^-(p)$? We know for sure that $I^-(p)$ is not a subset of $P$.

Except it could be unless you make additional assumptions.

Is it a subset of $F$?  Intuitively, that is not true, but can we prove that?

You say you can prove

begin{gather} pin FRightarrow I^+(p)subset F tag{1} pin FRightarrow I^-(p)nsubseteqq P.tag{2} end{gather}

However, the second doesn't follow from your listed assumptions (let $mathcal M$ equal Minkowski space, let $F$ equal the set of events with $tgeq 0$ and let $P$ equal the set of events with $tleq 0$ and let $p$ be the origin). But we could make those assumptions too, or we could make ever more additional assumptions after assumption over and over again until we start being able to actually derive the things you claim to be able to prove, for instance we could assume that $F$ and $P$ are open, or that the unions in $mathcal M=Fcup Bcup P$ were supposed to be disjoint unions $mathcal M=Fuplus Buplus P.$ Who knows what you mean to write? Your readers can't. When you wrote $Sinmathcal M$ I assumed you meant $Ssubsetmathcal M.$ But one can only correct so many things before one wonders if one corrected all of them correctly.

Moving on. You ask whether $I^-(p)$ is a subset of $F.$ Which is not necessarily true. Let $mathcal M$ be Minkowski space and let $F$ be the set of events with $t>0$ (and $P$ is the set of events with $t<0$, which has to be the simplest possible example). Note that this time I made the sets disjoint, because you asked a question instead of telling me you could show it.

Then the past of any point in $F$ includes regions with negative time which are not in $F.$ So $I^-(p)subset F$ does not have to hold even when $mathcal M=Fuplus Buplus P$.

So that's that question (the one in the original post if I correctly distinguished between assumptions and questions). And it is answered directly by the simplest possible example that I think meets your criteria.

I'm not even sure if you can come up with disjoint nonempty $F$ and $P$ that have $I^-(p)subset F.$ So I'm not sure why you asked if you can't come up with a single example.

Particularly when the simplest example is a counter example.

I tried to prove that $I^-(p)cap Pneemptyset$, but I cannot find any [contradictions]. Would you please give me some hints?

One hint is to find a single example before you make a conjecture. Another hint is to check the simplest possible examples to look for counter examples before you make a conjecture.

As for assuming your conjecture and then looking for a contradiction ... that whole methodology is bad. There aren't any contradictions to find because it is possible, the simplest possible example gave an example where $I^-(p)cap Pneemptyset.$

The idea of assuming something and finding a contradiction only works in some situations. You need to assume the opposite of what you want. And you need to also have enough things already to force things to go the other way. And often it is a waste anyway to do proofs by contradictions since to get the contradiction you need a step where you first prove the actual thing you want and then have an additional step where you get a contradiction. Usually its for people that don't want to bother learning or using the contrapositive version of theorems.

Plus it is horrific for the student. When you make a false assumption and then spend a great deal of time working out the consequences you spend time exploring untruth. You develop incorrect intuition.

Stick to correct thinking and then your intuition will help you. Spend too much time thinking about untrue things and your intuition will remember these wrong things.

It is playing with fire. People encourage students to do it because "it can be easier" and that's the explanation for you. Laziness is the sole reason for the proof by contradiction technique. And the version you did isn't even that and doesn't work at all, assuming the thing you want and looking for a contradiction could at best show the negation of your conjecture it can never prove it (unless you work with a system known to be compete, which is not popular, though it is actually possible).

Assuming something and finding a contradiction only works if the thing you assume is wrong.

Now let's finally assume that $Fcap Psubset B neq emptyset$ in case we need it.

This last assumption is consistent with your canonical example where you start with an arbitrary $Ssubset mathcal M$, and let $F=I^+[S]$ be such that the complement of $F$ is nonempty and is your $P.$

You then ask in your comments whether

any point in $P$ [has] at least one future pointed timelike curve intersecting $F$.

Which is vague, you really really need to learn to speak precisely. At least if your goal is to understand why things must happen or can happen. If you mean is it the case whether every point in $P$ has a future pointing timelike curve intersecting $F$ or whether you mean if there is at least one point in $P$ with a future pointing timelike curve intersecting $F.$ These are very different statements.

Since you asked for hints. There is a clear answer in one direction for the simplest example. As always check Taub-Nut and the 2d version if simpler examples don't generate counter examples for the direction you are considering. Then you might also want to consider how your definitions deal with singularities.

For instance imagine your spacetime has a conformal diagram with a spacelike singularity in the $t=1$ hyperplane but only in the part with $x^2+y^2+z^2leq 1.$ Then as long as your spacetime has regions in the $t=1$ hyperplane with $1<x^2+y^2+z^2<1+epsilon$ then the future ($F: t>1$) is clearly connected to the past ($P: t<1$). But there are parts of the past that have all future pointing timelike curves within an event horizon because they are geodesically incomplete. In particular any point with $sqrt{x^2+y^2+z^2}<t<1$ doesn't have future directed timelike curves that reach the future $F.$ But this a singular manifold, or at least a geodesically incomplete manifold.

But note this singular manifold is only a counter example of one way to read your ambiguously written comment that is unrelated to your original question.

Also note when I suggest Taub-Nut that was a general suggestion for any conjecture, I didn't check it myself for your example because your writing was too vague for me to know what you were asking for sure and I wasted my brain power trying to read your mind.