MCQ
If A is necessary for B, B is true, and A is true, then:
Analytical Reasoning
A Nothing follows
B B is false
C A is false
D Both are false
Explanation

If A is necessary for B and both are true, this is consistent but nothing new follows.