All insects that are attracted to honey are ants

Consider the 3 statements below to be true.

  1. All insects that are attracted to honey are ants.
  2. Insect I is not an ant.
  3. Insect J is attracted to honey.

Which of the following statements is necessarily true?

  1. Insect I is an ant not attracted to honey.
  2. Insect I is an ant attracted to honey.
  3. Insect I is attracted to honey.
  4. Insect J is not attracted to honey.
  5. Insect J is an ant.

Answer

The correct answer is E.

It might be more straightforward to look at each of the answer choices to see whether it contradicts one of the given three statements or whether it could be deduced from the given three statements.

A and B each say that Insect I is an ant. This directly contradicts the second given statement, so A and B are false.

Consider C: if it is true (Insect I is attracted to honey), then the first given statement implies that Insect I is an ant. This contradicts the second given statement, so C is false.

D directly contradicts the third given statement, so D is false.

For E, consider Insect J. The third given statement tells you that Insect J is attracted to honey, and the first given statement tells you that, because all insects attracted to honey are ants, Insect J must be an ant. So E must be true.