If you follow our program, you wiose weight. you are not following our programif do not lose weight.

The conclusion is valid.

The required diagram is shown below:

Step-by-step explanation:

Consider the provided statement.

If you follow our program, you will lose weight. You are not following our program if you do not lose weight.

Here the second statement is the contrapositive of the first statement.

Let x is the number of person who does not lose weight, and this person is outside the bigger circle, this person is also outside the small circle.

Therefore, the conclusion is valid.

The required diagram is shown below:

power property.