Logical Deduction

To solve this, we start with the given condition that "Javed and Mohan both ride" and use the set of rules to deduce the status of the other friends. A statement is true if it is a necessary consequence of the initial condition and the rules.

The Rules:

1. If Feroz rides, then Gautam must ride.
2. If Gautam and Harish both ride, then Javed cannot ride.
3. If Harish and Javed both ride, then Laxman cannot ride.
4. If Javed rides, then either Kumar or Mohan must ride.
5. Exactly one of Kumar or Laxman must ride.
6. Kumar and Mohan cannot both ride.

Step-by-Step Analysis

We are given the starting condition: Javed (J) and Mohan (M) are riding.

1. Rule 6 states: Kumar and Mohan cannot both ride. Since we know Mohan is riding, it logically follows that Kumar cannot ride.
2. Rule 5 states: Exactly one of Kumar or Laxman must ride. Since we have just deduced that Kumar cannot ride, it must be true that Laxman must ride to satisfy this rule.

Evaluating the Options

Based on our deductions, we can now check the given options:

• A. Gautam cannot ride: We have no information to confirm or deny this. It is not a necessary conclusion.
• B. Harish must ride: Our deductions do not force Harish to ride. In fact, if we continue the logic (using Rule 3), we can prove Harish cannot ride. So this is false.
• C. Feroz cannot ride: We have no information to confirm or deny this. It is not a necessary conclusion.
• D. Laxman must ride: Our step-by-step analysis proves that this statement is a necessary consequence of Javed and Mohan riding.

Conclusion

The only statement that must be true if Javed and Mohan both ride is that Laxman must ride.