
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Are you strong in logic? Let $S$ and $T$ be some sets. Denote by $P$ the following statement: "At least two elements of the set $S$ are contained in $T$." It is known that the negation $\bar{P}$ can be formulated as: "At least two elements from $S$ are not contained in $T$." What conclusion can be drawn from this?

Present the answer in LaTex format: \boxed{Your answer}
user