Critical Reasoning

No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstration of the truth of a theorem. In 1976, however, this was not the case. Some mathematicians at that time refused to accept the results of a complex computer demonstration of a very simple mapping theorem. Although some mathematicians still hold a strong belief that a simple theorem ought to have a short, simple proof, in fact, some simple theorems have required enormous proofs.

If all of the statements in the passage are true, which one of the following must also be true?

(A) Today, some mathematicians who believe that a simple theorem ought to have a simple proof would consider accepting the results of an enormous computation as a demonstration of the truth of a theorem.
(B) Some individuals who believe that a simple theorem ought to have a simple proof are not mathematicians.
(C) Today, some individuals who refuse to accept the results of an enormous computation as a demonstration of the truth of a theorem believe that a simple theorem ought to have a simple proof.
(D) Some individuals who do not believe that a simple theorem ought to have a simple proof would not be willing to accept the results of an enormous computation as proof of a complex theorem.
(E) Some nonmathematicians do not believe that a simple theorem ought to have a simple proof.

IMO A

(B) Some individuals who believe that a simple theorem ought to have a simple proof are not mathematicians.
(C) Today, some individuals who refuse to accept the results of an enormous computation as a demonstration of the truth of a theorem believe that a simple theorem ought to have a simple proof.
(D) Some individuals who do not believe that a simple theorem ought to have a simple proof would not be willing to accept the results of an enormous computation as proof of a complex theorem

We are dealing with Mathematicians and not some individuals.
Some Individuals make the scope broad.

Left with A and E

No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstration of the truth of a theorem

This is the conclusion which is clearly reflected in A

Correct me If I am wrong

I feel A based on two statements:

No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstration of the truth of a theorem

And

Although some mathematicians still hold a strong belief that a simple theorem ought to have a short, simple proof

This leads to A

Thanks.

OA is (A)

I believe the correct answer should be A.